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 ChrisArchitect on Tuesday July 30, 2024 @08:50PM (#41115548)
(2023)

Official link: https://lean-forward.github.io/hitchhikers-guide/2023/

[ Parent | on HN ]

There are no comments on this comment yet.