Logical Verification 2025

Files associated with the Hitchhiker's Guide to Logical Verification (2025 edition).

Installation

To edit the Lean files, open the lean folder as a Lean 4 project as described here.