From 10ab96d8c1a65962e6f6210c4d25e135e0df16df Mon Sep 17 00:00:00 2001
From: "github-actions[bot]"
 <41898282+github-actions[bot]@users.noreply.github.com>
Date: Sat, 10 Oct 2026 23:35:19 +0000
Subject: [PATCH] Refresh generated project statistics and attribution

---
 NOTICE    | 1 +
 README.md | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/NOTICE b/NOTICE
index 66439f7972..ab45763db9 100644
--- a/NOTICE
+++ b/NOTICE
@@ -249,6 +249,7 @@ Apache License, Version 2.0, and are redistributed here under the same license.
   LeanPool/Sabidussi                 https://github.com/gexahedron/sabidussi-lean
   LeanPool/SardMoreira               https://github.com/urkud/SardMoreira
   LeanPool/Schoenflies               https://github.com/alonamaloh/schoenflies-lean
+  LeanPool/ScottMeasurement          https://github.com/catskillsresearch/scott1964
   LeanPool/SelbergSieve4             https://github.com/amellendijk/selberg-sieve4
   LeanPool/SemicircleCheck           https://github.com/Wondermonger-daydreaming/semicircle-catalan
   LeanPool/Sendov                    https://github.com/teorth/sendov
diff --git a/README.md b/README.md
index 2d3024cde4..0fb7d62722 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 -->
-**296** formalization projects · **10,956,869** lines of Lean
+**297** formalization projects · **10,961,384** 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>