Will mathlib have formal proofs of 75 out of 100 theorems from Freek Wiedijk's list by end of 2022?
43%
chance
Jan 1, 2023
M$45 bet
Similar to this question, https://manifold.markets/BoltonBailey/will-mathlib-have-formal-proofs-of. Will https://leanprover-community.github.io/100.html indicate 75 theorems have been proved by the end of 2022?