From 4ea6799cb4d62c599504e6d95b564c3bcb5b06c1 Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" <41898282+github-actions[bot]@users.noreply.github.com> Date: Sat, 10 Oct 2026 00:46:03 +0000 Subject: [PATCH] Refresh generated project statistics and attribution --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 13628a2553..2754b8918c 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,620** lines of Lean +**295** formalization projects · **10,939,630** 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)