Geeks
blanchette
/
logical_verification_2023
Hitchhiker's Guide to Logical Verification (2023 Edition)
Primary Language
Lean
logical_verification_2023 GitHub
Markdown
Readme
2
Issues
89
Stargazers
2
Watchers
Issues
Open issue
Minor corrections in Part 1 (Basics) of the book
#4 opened
a year ago
by
paulch42
0
Closed issue
Typo in the textbook
#3 opened
a year ago
by
crvdgc
2