Book project: Exploring Formalisation

News

~~This is the draft site of the book project "Exploring Formalisation. A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology" (with Springer).~~
The actual site of the book project is https://loeh.app.uni-regensburg.de/exploring-formalisation

Material

intro_example.lean

~~draft git repository, containing all examples and solutions to the exercises~~
final repo: git repository, containing all examples and solutions to the exercises
draft pdf: the link to the draft is removed in view of copyright transfer
errata

Last change: July 18, 2022