Clara Löh: Exploring Formalisation. A primer in human-readable mathematics in Lean 3 with examples from simplicial topology
Crossref DOI link: https://doi.org/10.1007/s00591-023-00359-w
Published Online: 2023-11-08
Published Print: 2024-03
Update policy: https://doi.org/10.1007/springer_crossmark_policy
von Raumer, Jakob
Funding for this research was provided by:
Karlsruher Institut für Technologie (KIT)
Text and Data Mining valid from 2023-11-08
Version of Record valid from 2023-11-08
Article History
Accepted: 31 October 2023
First Online: 8 November 2023