The Hitchhiker’s Guide to Logical Verification [pdf]github.com/blanchette4 pointsmathgenius6 years ago