News for hackers. Stuff that matters.

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

Re:The Hitchhiker's Guide to Logical Verification [pdf] by nextos on Tuesday July 30, 2024 @06:43PM (#41114866)
Thanks, I meant other Lean resources. This is also interesting, though.
[ Parent | on HN ]

There are no comments on this comment yet.