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

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

you are viewing a single comment's thread
view the rest of the comments

[-] 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