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

news.ycombinator.com

saved by: 0 people
related read on: What mathematicians should know about the Lean Theorem Pr... discussion