Login / Signup
Small, Fast, Concurrent Proof Checking for the lambda-Pi Calculus Modulo Rewriting.
Michael Färber
Published in:
CoRR (2021)
Keyphrases
</>
provably correct
automated theorem proving
natural deduction
small number
lambda calculus
presburger arithmetic
fixed point
conjunctive queries
consistency checking