ViCAR: Visualizing Categories with Automated Rewriting in Coq.

Bhakti Shah William Spencer Laura Zielinski Ben Caldwell Adrian Lehmann Robert Rand

Published in: CoRR (2024)

Keyphrases

semi automated
computer aided
theorem prover
conjunctive queries
genetic algorithm
artificial intelligence
fully automated
formal methods
neural network
data mining
relational databases
context sensitive
automated analysis
rewrite rules
rewriting rules
queries using views