Formalizing Mathematics Textbooks at Scale

3 points | by vrm 5 hours ago