Exploring Formalisation: A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology
Autor Clara Löh
25 sep 2022
Paperback
Preț: 377.90 lei
38-44 zile
Surveys and Tutorials in the Applied Mathematical Sciences