What mathematicians should know about the Lean Theorem Prover: reliability & AI

 (terrytao.wordpress.com)

208 points | by matt_d 4 days ago ago

67 comments