Login / Signup

Foundational proof certificates: making proof universal and permanent.

Dale Miller
Published in: LFMTP (2013)
Keyphrases
  • theorem proving
  • linear logic
  • computer vision
  • proof planning