Sign in
Foundational proof certificates: making proof universal and permanent.
Dale Miller
Published in:
LFMTP (2013)
Keyphrases
</>
theorem proving
linear logic
computer vision
proof planning