Books 1 to 1 of 1
pdf
Certified Programming With Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant (MIT Press) by Chlipala, Adam17 mag, 2016 Amazon=[0262026651] Formats=[PDF] ISBN=[9780262026659] OCLC=[964925469] Year=[2013]
Books 1 to 1 of 1
Switch to the full interface (non-mobile interface)