Formalizing Mathematics Textbooks at Scale

 (github.com)

3 points | by vrm 6 hours ago ago

No comments yet.