Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Exploring Formalisation : A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology / Clara Löh
| Exploring Formalisation : A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology / Clara Löh |
| Autore | Löh, Clara |
| Pubbl/distr/stampa | Cham, : Springer, 2022 |
| Descrizione fisica | vi, 147 p. : ill. ; 24 cm |
| Soggetto non controllato |
Examples in Lean
Formalization of mathematics Mathematics in Lean Proof assistant Simplicial Complexes Simplicial topology Theorem prover Tutorial on lean Verification of proofs |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0277401 |
Löh, Clara
|
||
| Cham, : Springer, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Exploring Formalisation : A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology / Clara Löh
| Exploring Formalisation : A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology / Clara Löh |
| Autore | Löh, Clara |
| Pubbl/distr/stampa | Cham, : Springer, 2022 |
| Descrizione fisica | vi, 147 p. : ill. ; 24 cm |
| Soggetto topico |
55-XX - Algebraic topology [MSC 2020]
68-XX - Computer science [MSC 2020] 68V15 - Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) [MSC 2020] 68V20 - Formalization of mathematics in connection with theorem provers [MSC 2020] |
| Soggetto non controllato |
Examples in Lean
Formalization of mathematics Mathematics in Lean Proof assistant Simplicial Complexes Simplicial topology Theorem prover Tutorial on lean Verification of proofs |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00277401 |
|
Löh, Clara
|
||
| Cham, : Springer, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||