Spar
Exploring Formalisation
Forfatter:
heftet, 2022
Engelsk
This primer on mathematics formalisation provides a rapid, hands-on introduction to proof verification in Lean.
After a quick introduction to Lean, the basic techniques of human-readable formalisation are introduced, illustrated by simple examples on maps, induction and real numbers.
After a quick introduction to Lean, the basic techniques of human-readable formalisation are introduced, illustrated by simple examples on maps, induction and real numbers.
- Undertittel
- A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology
- Forfatter
- Clara Löh
- Opplag
- 1st ed. 2022
- ISBN
- 9783031146480
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 25.9.2022
- Antall sider
- 147
