Report - Natural Deduction Assistant (NaDeA) · Our formalization in the Isabelle proof assistant [4] of the syntax, semantics and the inductive de nition of the natural deduction proof system

Select PornographicDefamatoryIllegal/UnlawfulSpamOther Terms Of Service ViolationFile a copyright complaint

Please pass captcha verification before submit form