The Hitchhiker's Guide to Logical Verification (via nextos) — discussion

#formalmethods #pdf #plt