Alkemet News
Palomar: A registry of Lean verified mathematics (terrytao.wordpress.com)

115 points

bymatt_d

9 hours ago |

19 comments