terrytao.wordpress.com
·
Oct 9
What mathematicians should know about the Lean Theorem Prover: reliability & AI
Comments
Discussion
0 comments
Want to join the discussion?
Log in
or
create an account.
No comments yet. Start the discussion.