/logical_verification_2023

Hitchhiker's Guide to Logical Verification (2023 Edition)

Primary LanguageLean

Stargazers

No one’s star this repository yet.