Get the latest tech news

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.

None

Get the Android app