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

Löh, Clara

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

Esta edición ISBN ya no está disponible.

Sinopsis

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

"Sinopsis" puede pertenecer a otra edición de este libro.

Editorial
Springer
Año de publicación
2022
Idioma
Inglés
ISBN 10 
3031146506
ISBN 13 
9783031146503
Encuadernación
Tapa blanda
Número de páginas
156
Contacto del fabricante
no disponible
Persona responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Alemania

Otras ediciones populares con el mismo título

9783031146480: Exploring Formalisation: A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology: 11 (Surveys and Tutorials in the Applied Mathematical Sciences)

Edición Destacada

ISBN 10:  3031146484 ISBN 13:  9783031146480
Editorial: Springer International Publishin..., 2022
Tapa blanda