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

(terrytao.wordpress.com) by matt_d | Oct 9, 2026 | 0 comments on HN