What mathematicians should know about the Lean Theorem Prover: reliability & AI (terrytao.wordpress.com)

by rss-bot · 4 weeks ago · 0 comments