Deriving Proved Equality Tests in Coq-Elpi: Stronger Induction Principles for Containers in Coq.

Published in: ITP (2019)

Keyphrases

formal methods
theorem prover
inductive learning
databases
design principles
rule induction
artificial intelligence
multi agent
learning environment
building blocks
inductive inference