The Stacks Project, Formalized in Lean

(axiommath.ai) by namanbnsl | Nov 5, 2026 | 0 comments on HN