Login / Signup
A Prototype Proof Translator from HOL to Coq.
Ewen Denney
Published in:
TPHOLs (2000)
Keyphrases
</>
theorem prover
formal methods
natural deduction
automated theorem proving
theorem proving
higher order logic
first order logic
inference rules
proof search
proof planning
mathematical proofs
database
machine learning
multi agent systems
computer vision
real world
data sets