Software Foundations
4.64
not set
Feb 02, 2012
 
4.27
not set
Jan 27, 2012
 
Interactive Theorem Proving and Program Development: Coq Art: The Calculus of Inductive Constructions
3.91
not set
Dec 31, 2011
Rss More books shelved as 'coq' »