Schemes in Lean
arXiv:2101.02602 · doi:10.1080/10586458.2021.1983489
Abstract
We tell the story of how schemes were formalised in three different ways in the Lean theorem prover.
10 pages. To appear in Experimental Mathematics
arXiv:2101.02602 · doi:10.1080/10586458.2021.1983489
We tell the story of how schemes were formalised in three different ways in the Lean theorem prover.
10 pages. To appear in Experimental Mathematics