T terrytao.wordpress.com What mathematicians should know about the Lean Theorem Prover: reliability & AI 210 points matt_d 22 days ago 58 comments
