Formalizing Mathematics Textbooks at Scale

(github.com) by vrm | May 28, 2026 | 0 comments on HN