Schemes in Lean
We tell the story of how schemes were formalised in three different ways in the Lean theorem prover.
math.AG↗
arXiv subjects
Amelia Livingston
Publications and source records attributed to Amelia Livingston.
arXiv subjects
Publications and source records attributed to Amelia Livingston.
We tell the story of how schemes were formalised in three different ways in the Lean theorem prover.