Dettaglio del documento
Trova il documento in altre risorse
Exploring Formalisation : A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology
Löh, Clara
eBook
Springer <editore>
2022
VAN08@Biblioteca del Dipartimento di Matematica e Fisica
Documento per sola consultazione interna
Inventario |
eMF 8728 |
Collocazione
CONS e-Book 8728
https://unina2.on-line.it/opac/resource/VAN00277401