Skip to content
/ Logical-Verification-Exercises Public
forked from lean-forward/logical_verification_2025

The Hitchhiker's Guide to Logical Verification (2025 edition) and associated materials

0 stars 13 forks Branches Tags Activity
Star
Notifications You must be signed in to change notification settings

EllbellCode/Logical-Verification-Exercises

BranchesTags
 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

3 Commits
lean
lean
 
 
README.md
README.md
 
 
hitchhikers_guide_2025_desktop.pdf
hitchhikers_guide_2025_desktop.pdf
 
 
hitchhikers_guide_2025_tablet.pdf
hitchhikers_guide_2025_tablet.pdf
 
 

Repository files navigation

Logical Verification 2025

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

Installation

The Hitchhiker's Guide PDF document is generated from the Lean demo files in the folder lean/LoVe. The same folder also contains exercise sheets and homework sheets.

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

About

The Hitchhiker's Guide to Logical Verification (2025 edition) and associated materials

Resources

Readme
Activity

Stars

0 stars

Watchers

0 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

No packages published

Languages

  • Lean 100.0%