ProofScript: Proof Scripting for the Masses.

Steven Obua Phil Scott Jacques D. Fleuriot

Published in: ICTAC (2016)

Keyphrases

theorem prover
theorem proving
linear logic
artificial intelligence
computer aided diagnosis
proof theory
genetic algorithm
knowledge base
case study
similarity measure
mobile robot
proof search
interactive theorem proving