Formalizing Mathematics Textbooks at Scale

(github.com)

6 points | by vrm a day ago ago

No comments yet.