Quillist
Will Kevin Buzzard successfully fulfill his grant specs of formalizing Fermat's Last Theorem in Lean within 5 years?
61%
chance
6
1k
Ṁ255
2031
