Login / Signup
Conversion of HOL Light proofs into Metamath.
Mario Carneiro
Published in:
J. Formaliz. Reason. (2016)
Keyphrases
</>
theorem prover
natural deduction
theorem proving
inference rules
first order logic
sequent calculus
formal proof
neural network
computer programs
cut elimination
machine learning
computer vision
data structure
video sequences
formal methods
higher order logic