Clara Löh: Exploring Formalisation. A primer in human-readable mathematics in Lean 3 with examples from simplicial topology – Surveys and Tutorials in the Applied Mathematical Science 11. Cham: Springer 2022, 147 Seiten. ISBN 978-3-031-14648-0/pbk; 978-3-031-14649-7/ebook
| Zugehörige Institution(en) am KIT | Institut für Programmstrukturen und Datenorganisation (IPD) |
| Publikationstyp | Zeitschriftenaufsatz |
| Publikationsmonat/-jahr | 03.2024 |
| Sprache | Deutsch |
| Identifikator | ISSN: 0720-728X, 1432-1815 KITopen-ID: 1000165706 |
| Erschienen in | Mathematische Semesterberichte |
| Verlag | Springer |
| Band | 71 |
| Heft | 1 |
| Seiten | 97–99 |
| Vorab online veröffentlicht am | 08.11.2023 |
| Nachgewiesen in | Dimensions |