Hitchhiker's Guide to Logical Verification (2023 Edition)
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.