The Stacks Project, Formalized in Leanaxiommath.ai
78 points by namanbnsl 12 hours ago | 21 comments