Report - arXiv:1804.07860v1 [cs.LO] 20 Apr 2018exponents of logicism, today’s HOL Light and Isabelle/HOL users clearly aren’t, or at least, keep their views secret. Superficially, Coq

Select PornographicDefamatoryIllegal/UnlawfulSpamOther Terms Of Service ViolationFile a copyright complaint

Please pass captcha verification before submit form