blanchette/logical_verification_2023

Hitchhiker's Guide to Logical Verification (2023 Edition)

Lean