01660nam0 22003973i 450 VAN027740120240607123912.552N978303114649720240607d2022 |0itac50 baengCH|||| |||||Exploring FormalisationA Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial TopologyClara LöhChamSpringer2022vi, 147 p.ill.24 cm001VAN02495062001 Surveys and Tutorials in the Applied Mathematical Sciences210 Berlin [etc.]Springer11Examples in LeanKW:KFormalization of mathematicsKW:KMathematics in LeanKW:KProof assistantKW:KSimplicial ComplexesKW:KSimplicial topologyKW:KTheorem proverKW:KTutorial on leanKW:KVerification of proofsKW:KCHChamVANL001889LöhClaraVANV095730767630Springer <editore>VANV108073650ITSOL20240614RICAhttps://doi.org/10.1007/978-3-031-14649-7E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN0277401BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-Book 8728 08eMF8728 20240610 Exploring Formalisation2919476UNICAMPANIA