Pragmatic isomorphism proofs between Coq representations: application to lambda-term families.

Catherine Dubois Nicolas Magaud Alain Giorgetti

Published in: CoRR (2022)

Keyphrases

artificial intelligence
image processing
evolutionary algorithm
theorem prover
theorem proving
information retrieval
learning algorithm
similarity measure
bayesian networks
co occurrence