Proof Mate: An Interactive Proof Helper for PVS (Tool Paper).

Paolo Masci Aaron Dutle

Published in: NFM (2022)

Keyphrases

theorem proving
theorem prover
database
three dimensional
object oriented
linear logic
interactive exploration
automated theorem proving
proof planning
machine learning
knowledge base
image processing
programming language
computer graphics
visualization tool