Will I have 60 commits merged to mathlib by August 4th?
6
100Ṁ537resolved Aug 5
Resolved
NO1H
6H
1D
1W
1M
ALL
https://leanprover-community.github.io/mathlib_stats.html shows the number of commits merged by each author. This resolves to YES if my number of commits hits 60 on or before the close time.
This question is managed and resolved by Manifold.
Get 
1,000 to start trading!
1,000🏅 Top traders
| # | Name | Total profit |
|---|---|---|
| 1 | Ṁ118 | |
| 2 | Ṁ6 | |
| 3 | Ṁ1 | |
| 4 | Ṁ0 |
People are also trading
Related questions
How many commits in Manifold main repository by end of 2025?
What tactic will prove the most mathlib lemmas at the end of 2026?
Will the best public LLM at the end of 2025 solve more than 5 of the first 10 Project Euler problems published in 2026?
66% chance
Which theorems will be formally proven in Lean by the end of 2028?