Alkemet News
The Stacks Project, Formalized in Lean (axiommath.ai)

97 points

bynamanbnsl

2 days ago |

26 comments