Login / Signup
Proof General / Eclipse: A Generic Interface for Interactive Proof.
Daniel Winterstein
David Aspinall
Christoph Lüth
Published in:
IJCAI (2005)
Keyphrases
</>
special case
theorem proving
visual interface
closely related
graphical interface
user friendly
linear logic
open source
theorem prover
virtual reality
provably correct
databases
domain specific
end users
website
computer vision
genetic algorithm
neural network