Report - A survey on Interactive Theorem Provingasperti/SLIDES/itp.pdfConclusion A survey on Interactive Theorem Proving Andrea Asperti Department of Computer Science, University of Bologna

Select PornographicDefamatoryIllegal/UnlawfulSpamOther Terms Of Service ViolationFile a copyright complaint

Please pass captcha verification before submit form