Exploring Formalisation : A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology
Full text!- Type:
- e-book
- Titel:
- Exploring Formalisation : A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology
- Taal:
- Engels
- Uitgever:
- Cham Springer International Publishing AG 2022
- ISBN:
- 3-031-14648-4
3-031-14649-2 - Permalink:
- http://bibtest.howest.be/catalog/ebk03:24950009000041
