
Hacker NewsDev & TIEN
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.
Edição de Quinta-feira, 5 de novembro de 2026 · Notícias em até 280 caracteres