Files associated with the Hitchhiker's Guide to Logical Verification (2024 Edition).
The Hitchhiker's Guide PDF document is generated from the Lean demo files in
the folder lean/LoVe. The same folder also contains an exercise sheet and a
homework sheet for each chapter.
To edit the Lean files, open the lean folder as a Lean 4 project as described
here.