this post was submitted on 02 Aug 2024
3 points (100.0% liked)

Formal Methods

175 readers
2 users here now

founded 2 years ago
MODERATORS
[email protected]
[email protected]
3
The Hitchhiker’s Guide to Logical Verification (book) (browncs1951x.github.io)
submitted 8 months ago* (last edited 8 months ago) by [email protected] to c/[email protected]
0 comments fedilink hide all child comments
 

Associated class (Brown University cs1951x)

This is a 209-page book on logical verification in Lean (4.0, the "new" version), available as a PDF.

no comments (yet)
sorted by: hot top controversial new old
there doesn't seem to be anything here