Will I have 60 commits merged to mathlib by August 4th?
62%
chance
BoltonBaileyBolton Bailey
Aug 5
M$15 bet
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.