The Stacks Project, Formalized in Lean

The formalization of The Stacks Project in the Lean proof assistant.

Hacker News submitter: namanbnsl

Submitted to Hacker News: 2026-11-05

Original source Hacker News discussion