5
The Hitchhiker’s Guide to Logical Verification (book) (browncs1951x.github.io)
submitted 3 months ago* (last edited 3 months ago) by armchair_progamer@programming.dev to c/formal_methods@programming.dev
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
[-] Septimaeus@infosec.pub 2 points 3 months ago

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

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

Formal Methods

163 readers
1 users here now

founded 1 year ago
MODERATORS
Ategon@programming.dev
synthetic_apriori@programming.dev