Zulip Chat Archive
Stream: mathlib4
Topic: Mathlib has 23456 commits
Snir Broshi (Aug 30 2025 at 17:03):
image.png
Just a fun number (in base 10)
Aaron Liu (Aug 30 2025 at 17:26):
that's a lot of commits
Weiyi Wang (Aug 30 2025 at 18:03):
We are also approaching 30000 PR/issues
Last updated: Dec 20 2025 at 21:32 UTC