cover title author avg rating rating my rating date read date added
 
Certified Programming with Dependent Types
4.36
not set
Jan 27, 2012
 
Interactive Theorem Proving and Program Development: Coq Art: The Calculus of Inductive Constructions
3.92
not set
Dec 31, 2011