M
matt_d
Article URL: What mathematicians should know about the Lean Theorem Prover: questions of reliability and AI
Comments URL: What mathematicians should know about the Lean Theorem Prover: reliability & AI | Hacker News
Points: 170
# Comments: 45
Continue reading...
Comments URL: What mathematicians should know about the Lean Theorem Prover: reliability & AI | Hacker News
Points: 170
# Comments: 45
Continue reading...