Hammer for Coq: Automation for Dependent Type Theory.

Lukasz Czajka Cezary Kaliszyk

Published in: J. Autom. Reason. (2018)

Keyphrases

formal methods
theoretical basis
theoretical foundation
artificial intelligence
programming language
database
genetic algorithm
decision trees
expert systems
multiple types
general theory