Software Foundations
4.62
not set
Feb 02, 2012
 
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
Rss infinite More books shelved as 'coq' »