Categories
Le Coq Art (EN)
SKU 00253
$52
In stock
1
Product Details
Interactive Theorem Proving and Program Development
Coq'Art: The Calculus of Inductive Constructions
490pp, 1.7 kg of Coq Art :)
Save this product for later