Will mathlib have formal proofs of 75 out of 100 theorems from Freek Wiedijk's list by end of 2022?
43%
chance
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?