|
| Der Artikel wird am Ende des Bestellprozesses zum Download zur Verfügung gestellt. |
Exploring Formalisation
A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology
Sofort lieferbar | Lieferzeit: Sofort lieferbar I
ISBN-13:
9783031146497
Veröffentl:
2022
Seiten:
147
Autor:
Clara Löh
Serie:
11, Surveys and Tutorials in the Applied Mathematical Sciences
eBook Typ:
PDF
eBook Format:
EPUB
Kopierschutz:
1 - PDF Watermark
Sprache:
Englisch
Beschreibung:
This primer on mathematics formalisation provides a rapid, hands-on introduction to proof verification in Lean.
Introduction.- 1 The Lean Proof Assistant.- 2 Basic Examples.- 3 Design Choices.- 4 Abstraction and Prototyping.
Kunden Rezensionen
Mehr zum Thema
Folgen Sie uns auf:
