Login / Signup
Qualification of proof assistants, checkers, and generators: Where are we and what next?
Mario Gleirscher
Robert Sachtleben
Jan Peleska
Published in:
Sci. Comput. Program. (2023)
Keyphrases
</>
theorem prover
natural deduction
human resources
feature selection
proof planning
theorem proving
game playing
linear logic
interactive theorem proving
neural network
geometry theorem proving
mathematical proofs
intelligent agents
user interface
multi agent
case study
computer vision