Mixing HOL and Coq in Dedukti (Extended Abstract).
Ali AssafRaphaël CauderlierPublished in: PxTP@CADE (2015)
Keyphrases
- extended abstract
- theorem prover
- formal methods
- higher order logic
- natural deduction
- theorem proving
- first order logic
- inference rules
- software engineering
- artificial intelligence
- model checking
- knowledge based systems
- machine learning
- hidden markov models
- multiresolution
- multiscale
- feature extraction
- information retrieval