/logical_verification_2024

Associated files for Hitchhiker's Guide to Logical Verification (2024 Edition)

Primary LanguageLean

Stargazers

No one’s star this repository yet.