From 47ab2868d42958eb3e1a82680ddcfdfef8854323 Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" <41898282+github-actions[bot]@users.noreply.github.com> Date: Fri, 9 Oct 2026 17:16:11 +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 87cc55fedc..b225161a0c 100644 --- a/NOTICE +++ b/NOTICE @@ -241,6 +241,7 @@ Apache License, Version 2.0, and are redistributed here under the same license. LeanPool/RiemannRochFunctionFields https://github.com/vaca22/riemann-roch-function-fields LeanPool/RootSystem https://github.com/Antoine-dSG/root_system LeanPool/RungeKuttaOrderConditions https://github.com/karlesmarin/runge-kutta-order-conditions-lean + LeanPool/RunsOfMultiples https://github.com/jas-ho/runs-of-multiples-lean LeanPool/Rupert https://github.com/dwrensha/Rupert.lean LeanPool/SNumbers https://github.com/mario-ullrich/lean-snumbers LeanPool/Sabidussi https://github.com/gexahedron/sabidussi-lean diff --git a/README.md b/README.md index 009a0e7151..db7c757f45 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). -**293** formalization projects · **10,924,185** lines of Lean +**294** formalization projects · **10,928,024** 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)