this post was submitted on 02 Aug 2024
5 points (85.7% liked)

Formal Methods

162 readers
1 users here now

founded 1 year ago
MODERATORS
Ategon
synthetic_apriori
5
The Hitchhiker’s Guide to Logical Verification (book) (browncs1951x.github.io)
submitted 1 month ago* (last edited 1 month ago) by armchair_progamer to c/formal_methods
1 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.

top 1 comments
sorted by: hot top controversial new old
[–] [email protected] 2 points 1 month ago

Rock on, this is well organized reference material. Looking forward to working some of these. Thank you!