LEADER 02052nam0 22004453i 450 001 VAN00277401 005 20240806101547.957 017 70$2N$a9783031146497 100 $a20240607d2022 |0itac50 ba 101 $aeng 102 $aCH 105 $a|||| ||||| 200 1 $aExploring Formalisation$eA Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology$fClara Löh 210 $aCham$cSpringer$d2022 215 $avi, 147 p.$cill.$d24 cm 410 1$1001VAN00249506$12001 $aSurveys and Tutorials in the Applied Mathematical Sciences$1210 $aBerlin [etc.]$cSpringer$v11 606 $a55-XX$xAlgebraic topology [MSC 2020]$3VANC019672$2MF 606 $a68-XX$xComputer science [MSC 2020]$3VANC019670$2MF 606 $a68V15$xTheorem proving (automated and interactive theorem provers, deduction, resolution, etc.) [MSC 2020]$3VANC024545$2MF 606 $a68V20$xFormalization of mathematics in connection with theorem provers [MSC 2020]$3VANC037165$2MF 610 $aExamples in Lean$9KW:K 610 $aFormalization of mathematics$9KW:K 610 $aMathematics in Lean$9KW:K 610 $aProof assistant$9KW:K 610 $aSimplicial Complexes$9KW:K 610 $aSimplicial topology$9KW:K 610 $aTheorem prover$9KW:K 610 $aTutorial on lean$9KW:K 610 $aVerification of proofs$9KW:K 620 $aCH$dCham$3VANL001889 700 1$aLöh$bClara$3VANV095730$0767630 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20241115$gRICA 856 4 $uhttps://doi.org/10.1007/978-3-031-14649-7$zE-book ? Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o Shibboleth 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $fN 912 $aVAN00277401 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08DLOAD e-Book 8728 $e08eMF8728 20240610 996 $aExploring Formalisation$92919476 997 $aUNICAMPANIA