cover title author avg rating rating my rating date read date added Up arrow
 
Interactive Theorem Proving and Program Development: Coq Art: The Calculus of Inductive Constructions
4.20
not set
Dec 31, 2011
 
Certified Programming with Dependent Types
4.20
not set
Jan 27, 2012
Rss More books shelved as 'dependent-type' »