Report - Coq on iPad - ProofCafeproofcafe.org/~keigoi/coq4ipad-proofsumitt2013.pdf · Mac OS X Lion (10.7), latest Xcode (4.6), iPad 2 or later (optional), Host OCaml 4.00.1 and Camlp5 6.07

Select PornographicDefamatoryIllegal/UnlawfulSpamOther Terms Of Service ViolationFile a copyright complaint

Please pass captcha verification before submit form