An edition of Certified Programming with Dependent Types (2013)
Certified Programming with Dependent Types
A Pragmatic Introduction to the Coq Proof Assistant
By Adam Chlipala
0 (0 Ratings)
1 Want to read0 Currently reading0 Have read
1 Want to read0 Currently reading0 Have read
Publish Date
2022
Publisher
MIT Press
Language
eng
Pages
440
Book Lists