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)Book (Online)Language: English Series: Surveys and Tutorials in the Applied Mathematical Sciences ; 11 | Springer eBook CollectionPublisher: Cham : Springer International Publishing, 2022Publisher: Cham : Imprint: Springer, 2022Edition: 1st ed. 2022Description: 1 Online-Ressource(VI, 147 p. 1 illus.)ISBN:- 9783031146497
No physical items for this record