| home | teaching | (pre)prints | talks | cv | \lambda | impressum |
Book project: Exploring Formalisation
Clara LöhAbout
-
This is the site for additional material of the book project
"Exploring Formalisation. A Primer in Human-Readable
Mathematics in Lean 3
with Examples from Simplicial Topology",
Surveys and Tutorials in the Applied Mathematical Sciences , volume 11, Springer, 09/2022.
print ISBN 978-3-031-14648-0, ebook ISBN 978-3-031-14649-7, DOI 10.1007/978-3-031-14649-7
Material
- intro_example.lean
- git repository, containing all examples and solutions to the exercises
- errata
Last change: July 18, 2022