What mathematicians should know about the Lean Theorem Prover: reliability & AIterrytao.wordpress.com
59 points by matt_d 11 hours ago | 7 comments