Certified programming with dependent types : a pragmatic introduction to the Coq proof assistant / / Adam Chlipala |
Autore | Chlipala Adam <1981-> |
Pubbl/distr/stampa | Cambridge, : The MIT Press, 2013 |
Descrizione fisica | 1 PDF (xii, 424 pages) |
Disciplina | 005.1 |
Collana | The MIT Press |
Soggetto topico |
Automatic theorem proving - Computer programs
Computer programming |
Soggetto non controllato | Computer programming / software engineering |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910557461103321 |
Chlipala Adam <1981->
![]() |
||
Cambridge, : The MIT Press, 2013 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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, Switzerland : , : Springer, , [2022] |
Descrizione fisica | 1 online resource (152 pages) |
Disciplina | 005.1 |
Collana | Surveys and Tutorials in the Applied Mathematical Sciences |
Soggetto topico |
Automatic theorem proving - Computer programs
Demostració automàtica de teoremes Programes d'ordinador |
Soggetto genere / forma | Llibres electrònics |
ISBN |
9783031146497
9783031146480 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910595451503321 |
Löh Clara
![]() |
||
Cham, Switzerland : , : Springer, , [2022] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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, Switzerland : , : Springer, , [2022] |
Descrizione fisica | 1 online resource (152 pages) |
Disciplina | 005.1 |
Collana | Surveys and Tutorials in the Applied Mathematical Sciences |
Soggetto topico |
Automatic theorem proving - Computer programs
Demostració automàtica de teoremes Programes d'ordinador |
Soggetto genere / forma | Llibres electrònics |
ISBN |
9783031146497
9783031146480 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996490345603316 |
Löh Clara
![]() |
||
Cham, Switzerland : , : Springer, , [2022] | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|