New top story on Hacker News: The Hitchhiker's Guide to Logical Verification [pdf]

The Hitchhiker's Guide to Logical Verification [pdf]
14 by nextos | 1 comments on Hacker News.