Offline
day
week
What mathematicians should know about the Lean Theorem Prover: reliability & AI
6 points
|
terrytao.wordpress.com
|
matt_d
|
4hrs