Synthetic Differential Geometry in Lean

From MaRDI portal

MaRDI QIDQ7223127arXivFDO

Authors Riccardo Brasca, Gabriella Clemente

Publication date 2026

Published in arXiv


arXiv classification

cs.LO















This page was built for publication: Synthetic Differential Geometry in Lean

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7223127)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Synthetic_Differential_Geometry_in_Lean&oldid=107693975"
Powered by MediaWiki