Tallenna
Exploring Formalisation
Kirjailija:
nidottu, 2022
englanti
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.
- Alaotsikko
- A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology
- Kirjailija
- Clara Löh
- Painos
- 1st ed. 2022
- ISBN
- 9783031146480
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 25.9.2022
- Kustantaja
- Springer International Publishing AG
- Sivumäärä
- 147
