From Zero to QED: An informal introduction to formality with Lean 4
rwosync Saturday, December 13, 2025
Summary
The article introduces the concept of formal verification and its importance in ensuring the correctness of software systems. It discusses the challenges and complexities involved in verifying real-world software and outlines the goal of the 'Zero to QED' series, which aims to provide a comprehensive guide to formal verification using the Coq proof assistant.
86
10
Summary
sdiehl.github.io