A Trustworthy Proof Checker

  • Andrew W. Appel
  • , Neophytos Michael
  • , Aaron Stump
  • , Roberto Virga

Research output: Contribution to journal › Article › peer-review

22 Scopus citations

Fingerprint

Dive into the research topics of 'A Trustworthy Proof Checker'. Together they form a unique fingerprint.

Keyphrases

Computer Science