David Aspinall
2000
Proof General: A Generic Tool for Proof Development
Susanne Graf
Michael Schwartzbach
European Joint Conferences on Theory and Practice of Software (ETAPS)
LNCS
1785
Springer
10.1007/3-540-46419-0_3
Lars Hupel
2014
Interactive Simplifier Tracing and Debugging in Isabelle
Stephen M. Watt
James H. Davenport
Alan P. Sexton
Petr Sojka
Josef Urban
Intelligent Computer Mathematics (CICM 2014)
LNCS
8543
Springer
10.1007/978-3-319-08434-3_24
Christoph Lüth
Martin Ring
2013
A Web Interface for Isabelle: The Next Generation
Jacques Carette
Intelligent Computer Mathematics (CICM 2013)
LNCS
7961
Springer
10.1007/978-3-642-39320-4_22
Christoph Lüth
Martin Ring
2014
Collaborative Interactive Theorem Proving with Clide
Gerwin Klein
Ruben Gamboa
Interactive Theorem Proving (ITP 2014)
LNCS
8558
Springer
10.1007/978-3-319-08970-6_30
L. C. Paulson
T. Nipkow
G. Klein
Archive of Formal Proofs
http://afp.sourceforge.net/
M. Wenzel
2009
Parallel Proof Checking in Isabelle/Isar
G. Dos Reis
L. Théry
ACM SIGSAM Workshop on Programming Languages for Mechanized Mathematics Systems (PLMMS 2009)
ACM Digital Library
M. Wenzel
2011
Isabelle as Document-oriented Proof Assistant
J. H. Davenport
W. M. Farmer
F. Rabe
J. Urban
Conference on Intelligent Computer Mathematics / Mathematical Knowledge Management (CICM/MKM 2011)
LNAI
6824
Springer
10.1007/978-3-642-22673-1_17
Makarius Wenzel
2010
Asynchronous Proof Processing with Isabelle/Scala and Isabelle/jEdit
C. Sacerdoti Coen
D. Aspinall
User Interfaces for Theorem Provers (UITP 2010)
ENTCS
10.1016/j.entcs.2012.06.009
Makarius Wenzel
2012
Isabelle/jEdit — a Prover IDE within the PIDE framework
J. Jeuring
Conference on Intelligent Computer Mathematics (CICM 2012)
LNAI
7362
Springer
10.1007/978-3-642-31374-5_38
Makarius Wenzel
2013
Isabelle/jEdit
Part of Isabelle distribution.
http://isabelle.in.tum.de/website-Isabelle2014/dist/Isabelle2014/doc/jedit.pdf
Makarius Wenzel
2013
READ-EVAL-PRINT in Parallel and Asynchronous Proof-checking
Cezary Kaliszyk
Christoph Lüth
User Interfaces for Theorem Provers (UITP 2012)
EPTCS
118
10.4204/EPTCS.118.4
Makarius Wenzel
2013
Shared-Memory Multiprocessing for Interactive Theorem Proving
Sandrine Blazy
Christine Paulin-Mohring
David Pichardie
Interactive Theorem Proving — 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings
Lecture Notes in Computer Science
7998
Springer
10.1007/978-3-642-39634-2_30
Makarius Wenzel
2014
Asynchronous User Interaction and Tool Integration in Isabelle/PIDE
Gerwin Klein
Ruben Gamboa
Interactive Theorem Proving — 5th International Conference, ITP 2014, Vienna, Austria
Lecture Notes in Computer Science
8558
Springer
10.1007/978-3-319-08970-6_33