notes icon indicating copy to clipboard operation
notes copied to clipboard

Published 20 hours ago • verified publisher icon wdv4758h

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant

Open wdv4758h opened this issue 7 years ago • 0 comments

coq

ISBN-10: 0262026651 ISBN-13: 978-0262026659 URL: http://adam.chlipala.net/cpdt/ Amazon: https://www.amazon.com/gp/product/0262026651/

wdv4758h avatar Apr 01 '17 11:04 wdv4758h