Formalizing Mathematics Textbooks at Scale

3 points | by vrm 6 hours ago