Exploring formalisation : a primer in human-readable mathematics in Lean 3 with examples from simplicial topology / / Clara Löh
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Löh Clara
|
| Titolo: |
Exploring formalisation : a primer in human-readable mathematics in Lean 3 with examples from simplicial topology / / Clara Löh
|
| Pubblicazione: | Cham, Switzerland : , : Springer, , [2022] |
| ©2022 | |
| Descrizione fisica: | 1 online resource (152 pages) |
| Disciplina: | 005.1 |
| Soggetto topico: | Automatic theorem proving - Computer programs |
| Demostració automàtica de teoremes | |
| Programes d'ordinador | |
| Soggetto genere / forma: | Llibres electrònics |
| Nota di bibliografia: | Includes bibliographical references and index. |
| Titolo autorizzato: | Exploring Formalisation |
| ISBN: | 9783031146497 |
| 9783031146480 | |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910595451503321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |
Serie:
Surveys and Tutorials in the Applied Mathematical Sciences