The Stacks Project, Formalized in Lean
A unified library for modern algebraic geometry, built on decades of human scholarship and engineered for the next era of mathematical discovery.
No discussion yet. Be the first to share your thoughts!
A unified library for modern algebraic geometry, built on decades of human scholarship and engineered for the next era of mathematical discovery.
No discussion yet. Be the first to share your thoughts!