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

84 points

bymatt_d

13 hours ago |

17 comments