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 FranklinChen on Tuesday July 30, 2024 @04:28PM (#41113793)
There's also a 2024 edition https://github.com/blanchette/interactive_theorem_proving_20...
[ Parent | on HN ]

There are no comments on this comment yet.