Interactive Simplifier Tracing and Debugging in Isabelle.

Published in: CICM (2014)

Keyphrases

theorem prover
user interaction
computer graphics
user friendly
highly interactive
website
decision trees
learning environment
artificial neural networks
model based diagnosis
product configuration
interactive video