Isabelle/jEdit - A Prover IDE within the PIDE Framework.

Makarius Wenzel

Published in: AISC/MKM/Calculemus (2012)

Keyphrases

main contribution
machine learning
theorem prover
framework enables
data mining
social networks
information systems
e learning
image segmentation
key features
conceptual framework
theorem proving