Making Proof Quest Effective for An Automated Prover.

Nicodemus Msafiri John Mbwambo

Published in: SIGCSE (2021)

Keyphrases

theorem prover
theorem proving
automated theorem proving
artificial intelligence
computer aided
real world
knowledge base
case study
data structure
natural language
cost effective
fully automated