Formal Methods

165 readers

3 users here now

founded 1 year ago

MODERATORS

submitted 3 months ago* (last edited 3 months ago) by armchair_progamer to c/formal_methods

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

[–] [email protected] 2 points 3 months ago

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