Exploring formalisation : a primer in human-readable mathematics in Lean 3 with examples from simplicial topology (English)
- New search for: Löh, Clara
- Further information on Löh, Clara:
- http://d-nb.info/gnd/133498069
- New search for: Löh, Clara
- Further information on Löh, Clara:
- http://d-nb.info/gnd/133498069
2022
-
ISBN:
- Book / Print
-
Title:Exploring formalisation : a primer in human-readable mathematics in Lean 3 with examples from simplicial topology
-
Additional title:Lean three
-
Contributors:Löh, Clara ( author )
-
Published in:
-
Publisher:
- New search for: Springer Nature
-
Place of publication:Cham, Switzerland
-
Publication date:2022
-
Size:iv, 147 Seiten
-
Remarks:Illustrationen
-
ISBN:
-
DOI:
-
Type of media:Book
-
Type of material:Print
-
Language:English
- New search for: 511.3
- Further information on Dewey Decimal Classification
- New search for: 31.61 / 31.10 / 54.71
- Further information on Basic classification
-
Keywords:
-
Classification:
-
Source:
Table of contents eBook
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
The Lean Proof AssistantLöh, Clara et al. | 2022
- 2
-
Basic ExamplesLöh, Clara et al. | 2022
- 3
-
Design ChoicesLöh, Clara et al. | 2022
- 4
-
Abstraction and PrototypingLöh, Clara et al. | 2022