{"product_id":"exploring-formalisation-springer-international-publishing-ag-9783031146480-a-primer-in-human-readable-mathematics-in-lean-3-with-examples-from-simplicial-topology-clara-l-h","title":"Exploring Formalisation","description":"\u003cp\u003eDiscover the world of mathematical formalisation with \u003cstrong\u003eExploring Formalisation\u003c\/strong\u003e by \u003cstrong\u003eClara Löh\u003c\/strong\u003e. Published in 2022 by \u003cstrong\u003eSpringer International Publishing AG\u003c\/strong\u003e, this engaging primer spans 147 pages, offering a practical and accessible introduction to proof verification using the Lean theorem prover.\u003c\/p\u003e \n\n\u003cp\u003eIn this first edition, readers will quickly grasp the essentials of Lean through a concise introduction, followed by fundamental techniques for human-readable formalisation. The book is enriched with simple examples covering key concepts such as maps, induction, and real numbers, making it perfect for both beginners and those looking to refine their skills.\u003c\/p\u003e \n\n\u003cp\u003eWhether you're a student, educator, or mathematics enthusiast, \u003cstrong\u003eExploring Formalisation\u003c\/strong\u003e is an invaluable resource that will enhance your understanding of formal methods in mathematics. Dive into this enlightening read today!\u003c\/p\u003e","brand":"Clara Löh","offers":[{"title":"Default Title","offer_id":52274880119126,"sku":"9783031146480","price":60.62,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783031146480.jpg?v=1767813849","url":"https:\/\/www.englishbook.pt\/products\/exploring-formalisation-springer-international-publishing-ag-9783031146480-a-primer-in-human-readable-mathematics-in-lean-3-with-examples-from-simplicial-topology-clara-l-h","provider":"Bookshop","version":"1.0","type":"link"}