Qualification of Proof Assistants, Checkers, and Generators: Where Are We and What Next?

Mario Gleirscher Robert Sachtleben Jan Peleska

Published in: CoRR (2023)

Keyphrases

theorem prover
theorem proving
game playing
intelligent agents
neural network
machine learning
database
decision making
three dimensional
proof theory
mathematical proofs