diff --git a/NOTICE b/NOTICE
index 9770a27fa2..56c18facf7 100644
--- a/NOTICE
+++ b/NOTICE
@@ -129,6 +129,7 @@ Apache License, Version 2.0, and are redistributed here under the same license.
   LeanPool/GoemansFlow               https://github.com/jyh/dinitz-verify
   LeanPool/GranvilleMoore            https://github.com/AxiomMath/GranvilleMoore
   LeanPool/GraphColouringMatching    https://github.com/jtraverso/lean-pool
+  LeanPool/GrothendieckBessel        https://github.com/lukasliehr/GrothendieckBessel
   LeanPool/HadwigerNelsonBounds      https://github.com/lyfar/hadwiger-nelson-bounds-lean
   LeanPool/HansonWright              https://github.com/Lean-MoDS/StatsMLlib
   LeanPool/HardSphereNBC             https://github.com/ukiyois/hs-virial-nbc-identity
diff --git a/README.md b/README.md
index b9c02db6b5..5c92ba6c5f 100644
--- a/README.md
+++ b/README.md
@@ -24,7 +24,7 @@ from projects and files down to declarations and source lines. The
 the badge shows the date of the latest completed recording.
 
 <!-- BEGIN STATS -->
-**298** formalization projects · **10,977,403** lines of Lean
+**299** formalization projects · **10,982,529** lines of Lean
 <!-- END STATS -->
 
 <sub>(stats above are refreshed automatically by the [generated-metadata workflow](.github/workflows/notice.yml) — edit [`python/lean_pool/stats.py`](python/lean_pool/stats.py), not the numbers)</sub>