Report - Isabelle: Not Only a Proof Assistant - -1 · Isabelle: Not Only a Proof Assistant Abstract The Isabelle homepage describes Isabelle as “a generic proof assistant. It allows mathematical

Select PornographicDefamatoryIllegal/UnlawfulSpamOther Terms Of Service ViolationFile a copyright complaint

Please pass captcha verification before submit form