The Stacks Project, Formalized in Lean
40 points by namanbnsl
The Stacks Project is a comprehensive library designed for modern algebraic geometry, integrating extensive research and scholarship accumulated over decades. It aims to facilitate future mathematical discoveries by providing a structured and accessible resource for researchers in the field.