diff --git a/NOTICE b/NOTICE
index 837699fa08..3deface255 100644
--- a/NOTICE
+++ b/NOTICE
@@ -27,6 +27,7 @@ Apache License, Version 2.0, and are redistributed here under the same license.
   LeanPool/ACMax                     https://github.com/MerLeanProver/ACMaxConjecture
   LeanPool/AFormalizationOfBorelDeterminacyInLean
                                      https://github.com/sven-manthe/A-formalization-of-Borel-determinacy-in-Lean
+  LeanPool/AbstractLinearControl     https://github.com/frederic-marbach/alcs
   LeanPool/AharoniKorman             https://github.com/b-mehta/AharoniKorman
   LeanPool/AndersonConjecture        https://github.com/frenzymath/Anderson-Conjecture
   LeanPool/AnomalousDiffusion        https://github.com/scottnarmstrong/AVAnomalousDiffusion
diff --git a/README.md b/README.md
index 26d79a68a1..098daa468a 100644
--- a/README.md
+++ b/README.md
@@ -18,7 +18,7 @@ Lean Pool sits between [`mathlib`](https://github.com/leanprover-community/mathl
 Semantic search is also available via the [API](https://search.octo.axiomatic-ai.com/api/search).
 
 <!-- BEGIN STATS -->
-**291** formalization projects · **9,964,162** lines of Lean
+**292** formalization projects · **9,969,037** 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>