Zulip Chat Archive
Stream: lean4
Topic: 10000
Kenny Lau (Aug 20 2025 at 16:57):
https://github.com/leanprover/lean4/pull/10000
Kenny Lau (Aug 20 2025 at 16:57):
Lean has 10000 PR's now :tada:
Arthur Paulino (Aug 20 2025 at 22:52):
~7500 PRs + ~2500 issues
Still impressive :tada:
Last updated: Dec 20 2025 at 21:32 UTC