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.
Market context
Get 
1,000 to start trading!
1,000🏅 Top traders
| # | Trader | Total profit |
|---|---|---|
| 1 | Ṁ118 | |
| 2 | Ṁ6 | |
| 3 | Ṁ1 | |
| 4 | Ṁ0 |
People are also trading
Related questions
Will the best public LLM at the end of 2025 solve more than 5 of the first 10 Project Euler problems published in 2026?
92% chance
Will Lean mathlib contain more than 10 million lines of code by 2030?
69% chance
How many commits in Manifold main repository by end of 2026?
17,737
What tactic will prove the most mathlib lemmas at the end of 2026?
Which theorems will be officially formally proven in Lean by the end of 2028?