News for hackers. Stuff that matters.

A comment on The Hitchhiker's Guide to Logical Verification [pdf].

Re:The Hitchhiker's Guide to Logical Verification [pdf] by layer8 on Tuesday July 30, 2024 @03:23PM (#41113170)
Actual source, which also provides an alternative PDF suitable for smaller screens: https://github.com/blanchette/logical_verification_2023
[ Parent | on HN ]
Re:The Hitchhiker's Guide to Logical Verification [pdf] by kragen on Tuesday July 30, 2024 @03:56PM (#41113478)
thanks! that version also doesn't have a license
[ Parent | on HN ]