|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910595451503321 |
|
|
Autore |
Löh Clara |
|
|
Titolo |
Exploring formalisation : a primer in human-readable mathematics in Lean 3 with examples from simplicial topology / / Clara Löh |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham, Switzerland : , : Springer, , [2022] |
|
©2022 |
|
|
|
|
|
|
|
|
|
ISBN |
|
9783031146497 |
9783031146480 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (152 pages) |
|
|
|
|
|
|
Collana |
|
Surveys and Tutorials in the Applied Mathematical Sciences ; ; v.11 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Automatic theorem proving - Computer programs |
Demostració automàtica de teoremes |
Programes d'ordinador |
Llibres electrònics |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|