Spara
Exploring Formalisation
Författare:
häftad, 2022
Engelska
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.
- Undertitel
- A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology
- Författare
- Clara Löh
- Upplaga
- 1st ed. 2022
- ISBN
- 9783031146480
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2022-09-25
- Sidor
- 147
