Hitchhiker's Guide to Logical Verification (2023 Edition)

3 points | by tosh 8 hours ago