Exploring Formalisation: A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology - Brossura

Löh, Clara

 
9783031146503: Exploring Formalisation: A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology
Brossura
ISBN 10: 3031146506 ISBN 13: 9783031146503
Casa editrice: Springer, 2022

Al momento non sono disponibili copie per questo codice ISBN.

Sinossi

Introduction.- 1 The Lean Proof Assistant.- 2 Basic Examples.- 3 Design Choices.- 4 Abstraction and Prototyping.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer
Data di pubblicazione
2022
Lingua
Inglese
ISBN 10 
3031146506
ISBN 13 
9783031146503
Rilegatura
Copertina flessibile
Numero di pagine
156
Contatto del produttore
non disponibile
Persona responsabile
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Germania

Altre edizioni note dello stesso titolo

9783031146480: Exploring Formalisation: A Primer in Human-readable Mathematics in Lean 3 With Examples from Simplicial Topology: 11

Edizione in evidenza

ISBN 10:  3031146484 ISBN 13:  9783031146480
Casa editrice: Springer Nature, 2022
Brossura