Formalizing 100 Theorems

3 points by lorepieri 2 years ago | 0 comments