Trocq: Proof Transfer for Free, With or Without Univalence.

Cyril Cohen Enzo Crance Assia Mahboubi

Published in: CoRR (2023)

Keyphrases

real time
data mining
artificial neural networks
theorem prover
knowledge transfer
linear logic
database
information retrieval
genetic algorithm
artificial intelligence
web services
search algorithm
expert systems
probability distribution
proof search