Towards a Practical Library for Monadic Equational Reasoning in Coq.

Ayumu Saito Reynald Affeldt

Published in: MPC (2022)

Keyphrases

deductive databases
real world
computer vision
theorem prover
data sets
databases
neural network
genetic algorithm
information systems
similarity measure
data structure
practical application
practical problems