The Multiverse: Logical Modularity for Proof Assistants.

Kenji Maillard Nicolas Margulies Matthieu Sozeau Nicolas Tabareau Éric Tanter

Published in: CoRR (2021)

Keyphrases

logical rules
logical properties
database
theorem proving
linear logic
logical reasoning
real time
data sets
genetic algorithm
learning algorithm
image processing
reinforcement learning
probabilistic logic
natural deduction