From 2e3515debaaeda8f77a4a7da28295ee81b4032dc Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" <41898282+github-actions[bot]@users.noreply.github.com> Date: Sat, 10 Oct 2026 12:07:42 +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 f907dac8fe..66439f7972 100644 --- a/NOTICE +++ b/NOTICE @@ -33,6 +33,7 @@ Apache License, Version 2.0, and are redistributed here under the same license. LeanPool/AnomalousDiffusion https://github.com/scottnarmstrong/AVAnomalousDiffusion LeanPool/Apportionment https://github.com/mdbrnowski/apportionmentlib LeanPool/ArchonFirstProofResults https://github.com/frenzymath/Archon-FirstProof-Results + LeanPool/ArnoldKAM https://github.com/ybq1415926-droid/arnold1963-kam LeanPool/AsymptoticTrianglePacking https://github.com/jtraverso/erdos-81-chordal-clique-partitions LeanPool/BKARForestFormula https://github.com/scottnarmstrong/bkarforestformula LeanPool/BannaiBannaiStanton https://github.com/AntoineduFresne/Bannai-Bannai-Stanton_Theorem diff --git a/README.md b/README.md index df5c9de442..a7941a825f 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). -**295** formalization projects · **10,939,627** lines of Lean +**296** formalization projects · **10,956,869** 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)