Translating HOL to Dedukti.

Ali Assaf Guillaume Burel

Published in: PxTP@CADE (2015)

Keyphrases

theorem prover
formal methods
natural deduction
higher order logic
machine learning
theorem proving
training data
search algorithm
dynamic programming
probability distribution
source code
business processes
petri net