diff --git a/NOTICE b/NOTICE
index 3deface255..87cc55fedc 100644
--- a/NOTICE
+++ b/NOTICE
@@ -132,6 +132,8 @@ Apache License, Version 2.0, and are redistributed here under the same license.
   LeanPool/HansonWright              https://github.com/Lean-MoDS/StatsMLlib
   LeanPool/HardSphereNBC             https://github.com/ukiyois/hs-virial-nbc-identity
   LeanPool/HasseMinkowski            https://github.com/jayyswan/hasse-minkowski
+  LeanPool/HighContrastHomogenization
+                                     https://github.com/scottnarmstrong/HighContrastHomogenization
   LeanPool/HopfProblem               https://github.com/plby/HopfProblem
   LeanPool/Incompleteness            https://github.com/FormalizedFormalLogic/Incompleteness
   LeanPool/InfinitaryLogic           https://github.com/cameronfreer/infinitary-logic
diff --git a/README.md b/README.md
index 098daa468a..fe02fd85d3 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 -->
-**292** formalization projects · **9,969,037** lines of Lean
+**293** formalization projects · **10,924,185** 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>