# logical_verification_2025

Hitchhiker's Guide to Logical Verification (2025 Edition)

## Installation

The Hitchhiker's Guide PDF document is generated from Lean files in the folder
`lean/LoVe`. The same folder also contains an exercise sheet for each chapter.

To edit the Lean files, open the `lean` folder as a Lean 4 project [as described
here](https://leanprover-community.github.io/install/project.html#working-on-an-existing-project).
