Report - A Trustworthy Proof Checkerappel/papers/flit.pdf · 2 (Gordon et al., 1979), or the proof-witness objects of Coq (Barras et al., 1998) or Twelf (Pfenning and Schu¨rmann, 1999). With

Select PornographicDefamatoryIllegal/UnlawfulSpamOther Terms Of Service ViolationFile a copyright complaint

Please pass captcha verification before submit form