diff --git a/NOTICE b/NOTICE
index 87cc55fedc..b225161a0c 100644
--- a/NOTICE
+++ b/NOTICE
@@ -241,6 +241,7 @@ Apache License, Version 2.0, and are redistributed here under the same license.
   LeanPool/RiemannRochFunctionFields https://github.com/vaca22/riemann-roch-function-fields
   LeanPool/RootSystem                https://github.com/Antoine-dSG/root_system
   LeanPool/RungeKuttaOrderConditions https://github.com/karlesmarin/runge-kutta-order-conditions-lean
+  LeanPool/RunsOfMultiples           https://github.com/jas-ho/runs-of-multiples-lean
   LeanPool/Rupert                    https://github.com/dwrensha/Rupert.lean
   LeanPool/SNumbers                  https://github.com/mario-ullrich/lean-snumbers
   LeanPool/Sabidussi                 https://github.com/gexahedron/sabidussi-lean
diff --git a/README.md b/README.md
index 009a0e7151..db7c757f45 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 -->
-**293** formalization projects · **10,924,185** lines of Lean
+**294** formalization projects · **10,928,024** 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>