The Hitchhiker's Guide to Logical Verification [pdf] (2023)(browncs1951x.github.io)72 points by nextos 2 years ago | 13 comments
![Screenshot of browncs1951x.github.io: The Hitchhiker's Guide to Logical Verification [pdf] (2023)](https://hn.urlbox.com/shots/renders/2024/7/30/9d7e00d6-8d2d-4e53-b754-af8e8efc7650.jpg)