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 register to comment.
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.