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!
🏅 Top traders
# | Name | Total profit |
---|---|---|
1 | Ṁ118 | |
2 | Ṁ6 | |
3 | Ṁ1 | |
4 | Ṁ0 |
People are also trading
Related questions
Will rw_search be able to replace >50% of mathlib proofs by 2025-11-26?
19% chance
Will aesop be able to replace >50% of mathlib proofs by 2025-11-26?
41% chance
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?
75% chance
Which theorems will be formally proven in Lean by the end of 2028?