Exploring Formalisation

Discover the world of mathematical formalisation with Exploring Formalisation by Clara Löh. Published in 2022 by Springer International Publishing AG, this engaging primer spans 147 pages, offering a practical and accessible introduction to proof verification using the Lean theorem prover.

In 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.

Whether you're a student, educator, or mathematics enthusiast, Exploring Formalisation is an invaluable resource that will enhance your understanding of formal methods in mathematics. Dive into this enlightening read today!