Cumulative Inductive Types In Coq.

Amin Timany Matthieu Sozeau

Published in: FSCD (2018)

Keyphrases

inductive learning
database
decision trees
machine learning
real time
neural network
computer vision
decision making
database systems
concept learning
theorem prover
formal methods