logoalt Hacker News

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

6 points • by matt_d • today at 5:42 PM • 0 comments • view on HN

Comments

aaron695 • today at 9:41 PM

[dead]