diff --git a/NOTICE b/NOTICE
index b225161a0c..f907dac8fe 100644
--- a/NOTICE
+++ b/NOTICE
@@ -225,6 +225,7 @@ Apache License, Version 2.0, and are redistributed here under the same license.
   LeanPool/Polytopes                 https://github.com/Jun2M/Main-theorem-of-polytopes
   LeanPool/Puiseux                   https://github.com/deancureton/Puiseux
   LeanPool/PumpingCfg                https://github.com/AlexLoitzl/pumping_cfg
+  LeanPool/PureNock                  https://github.com/nockchain/pure-nock-lean
   LeanPool/PythagoreanPolynomialParametrization
                                      https://github.com/epfl-lara/AutoformalizedProjects
   LeanPool/QECCertificates           https://github.com/QCL-SUAT/QECCertificates
diff --git a/README.md b/README.md
index db7c757f45..13628a2553 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 -->
-**294** formalization projects · **10,928,024** lines of Lean
+**295** formalization projects · **10,939,620** 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>