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.

Name		Name	Last commit message	Last commit date
lean		lean
.gitignore		.gitignore
README.md		README.md
README.zh.md		README.zh.md
hitchhikers_guide_2025_desktop.pdf		hitchhikers_guide_2025_desktop.pdf
hitchhikers_guide_2025_tablet.pdf		hitchhikers_guide_2025_tablet.pdf
targets.html		targets.html