Skip to content
/ logical_verification_2025 Public

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

1 star 1 fork Branches Tags Activity
Star
Notifications You must be signed in to change notification settings

lean-forward/logical_verification_2025

BranchesTags

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
Custom properties

Stars

1 star

Watchers

1 watching

Forks

1 fork
Report repository

Releases

No releases published

Packages

No packages published

Languages