From 606b340b76e02aa7e48be1823f723691c70c4a16 Mon Sep 17 00:00:00 2001
From: "github-actions[bot]"
 <41898282+github-actions[bot]@users.noreply.github.com>
Date: Mon, 12 Oct 2026 17:10:06 +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 56c18facf7..1dfc157ae4 100644
--- a/NOTICE
+++ b/NOTICE
@@ -163,6 +163,7 @@ Apache License, Version 2.0, and are redistributed here under the same license.
   LeanPool/LehmerE10                 https://github.com/dillon-11/lehmer-E10
   LeanPool/Lentil                    https://github.com/verse-lab/Lentil
   LeanPool/LiCriterion               https://github.com/nicholasbulka/li-criterion-rh-equivalence-lean
+  LeanPool/LiebThirring              https://github.com/scottnarmstrong/LiebThirring
   LeanPool/ListEdgeColoringComplete  https://github.com/jtraverso/haggkvist-janssen
   LeanPool/LocalComplexGeometry      https://github.com/BochaoKong/nullstellensatz
   LeanPool/LongGapsBetweenPrimes     https://github.com/openai/LongGapsBetweenPrimes
diff --git a/README.md b/README.md
index 5c92ba6c5f..1e7ebae129 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 -->
-**299** formalization projects · **10,982,529** lines of Lean
+**300** formalization projects · **11,002,597** 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>