Interactive Simplifier Tracing and Debugging in Isabelle.

Published in: CoRR (2014)

Keyphrases

theorem prover
computer graphics
graphical interface
model based diagnosis
user interaction
virtual reality
user friendly
interactive video
database
neural network
multimedia
multiscale
information retrieval
three dimensional
data analysis