01749nam 2200481 450 991059545150332120231110211910.09783031146497(electronic bk.)9783031146480(MiAaPQ)EBC7100666(Au-PeEL)EBL7100666(CKB)24950009000041(PPN)264954971(EXLCZ)992495000900004120230222d2022 uy 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierExploring formalisation a primer in human-readable mathematics in Lean 3 with examples from simplicial topology /Clara LöhCham, Switzerland :Springer,[2022]©20221 online resource (152 pages)Surveys and Tutorials in the Applied Mathematical Sciences ;v.11Print version: Löh, Clara Exploring Formalisation Cham : Springer International Publishing AG,c2022 9783031146480 Includes bibliographical references and index.Surveys and Tutorials in the Applied Mathematical Sciences Automatic theorem provingComputer programsDemostració automàtica de teoremesthubProgrames d'ordinadorthubLlibres electrònicsthubAutomatic theorem provingComputer programs.Demostració automàtica de teoremesProgrames d'ordinador005.1Löh Clara767630MiAaPQMiAaPQMiAaPQ9910595451503321Exploring Formalisation2919476UNINA