What mathematicians should know about the Lean Theorem Prover: reliability & AI 200 points by matt_d 12 days ago terrytao.wordpress.com 58 comments Summary not yet generated for this article. Comments (58 of ) ⌛ Loading more comments... ⌛ Scroll down to load more comments No comments available.
Comments (58 of ) ⌛