joewatt95/logical_verification_2024
Associated files for Hitchhiker's Guide to Logical Verification (2024 Edition)
Lean
Stargazers
No one’s star this repository yet.
Associated files for Hitchhiker's Guide to Logical Verification (2024 Edition)
Lean
No one’s star this repository yet.