+ wishlist Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant [9780262545747] Add to Cart The item has been added Author: Adam Chlipala Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant [9780262545747] Buy More - Save More. Below are the available bulk discount rates for each individual item when you purchase a certain amount Quantity Price Savings 25 - 99 38% 100 - 249 42% 250 - 499 46% 500 - 999 48% 1000+ 50% List Price As Low as $60.00 Format: Paperback
