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.
You must log in or # to comment.
Rock on, this is well organized reference material. Looking forward to working some of these. Thank you!