Exploring Formalisation : A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology / by Clara Löh
Resource type: Ressourcentyp: Buch (Online)Buch (Online)Sprache: Englisch Reihen: Surveys and Tutorials in the Applied Mathematical Sciences ; 11 | Springer eBook CollectionVerlag: Cham : Springer International Publishing, 2022Verlag: Cham : Imprint: Springer, 2022Auflage: 1st ed. 2022Beschreibung: 1 Online-Ressource(VI, 147 p. 1 illus.)ISBN:- 9783031146497
Dieser Titel hat keine Exemplare