Formal Methods

177 readers

2 users here now

founded 2 years ago

MODERATORS

submitted 7 months ago* (last edited 7 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.

top 1 comments

sorted by: hot top controversial new old

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

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