Schemes in Lean
From MaRDI portal
Publication:5094471
DOI10.1080/10586458.2021.1983489zbMath1497.14003arXiv2101.02602MaRDI QIDQ5094471
No author found.
Publication date: 3 August 2022
Published in: Experimental Mathematics (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2101.02602
Related Items
Simple Type Theory is not too Simple: Grothendieck’s Schemes Without Dependent Types, Large-scale formal proof for the working mathematician -- lessons learnt from the ALEXANDRIA project
Uses Software
Cites Work