From 587bff430ec05cc364d4a18b07fe871211c6f0c7 Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" <41898282+github-actions[bot]@users.noreply.github.com> Date: Thu, 15 Oct 2026 10:45:20 +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 41cea60842..c243bd883a 100644 --- a/NOTICE +++ b/NOTICE @@ -366,6 +366,7 @@ MIT permission notice that follows them. Copyright (c) 2026 Axiom Math LeanPool/PersistentSOS https://github.com/JD-Jones-ASES/persistent-sos + LeanPool/PlanarMidpoint https://github.com/JD-Jones-ASES/PlanarMidpoint LeanPool/PolyaEnumerationTheorem https://github.com/Luka-O/polya-enumeration-theorem Copyright (c) 2024 Luka-O diff --git a/README.md b/README.md index a3523798fa..83595b0ffd 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. -**301** formalization projects · **11,004,763** lines of Lean +**302** formalization projects · **11,008,945** lines of Lean (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)