David Aspinall, Christoph Lüth & Daniel Winterstein (2007):
A Framework for Interactive Proof.
In: M. Kauers, Manfred Kerber, Robert Miner & Wolfgang Windsteiger: Towards Mechanized Mathematical Assistants (CALCULEMUS and MKM 2007),
LNAI 4573.
Springer,
doi:10.1007/978-3-540-73086-6_15.
Stefan Berghofer (2017):
The HOL-SPARK Program Verification Environment.
Part of Isabelle distribution..
http://isabelle.in.tum.de/website-Isabelle2017/dist/library/HOL/HOL-SPARK-Manual/document.pdf.
Leonardo Mendonça de Moura, Soonho Kong, Jeremy Avigad, Floris van Doorn & Jakob von Raumer (2015):
The Lean Theorem Prover (System Description).
In: Amy P. Felty & Aart Middeldorp: Automated Deduction - CADE-25 - 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings,
Lecture Notes in Computer Science 9195.
Springer,
doi:10.1007/978-3-319-21401-6_26.
Carst Tankink (2014):
PIDE for Asynchronous Interaction with Coq.
In: Christoph Benzmüller & Bruno Woltzenlogel Paleo: User Interfaces for Theorem Provers (UITP 2014),
EPTCS 167,
doi:10.4204/EPTCS.167.9.
Makarius Wenzel (2010):
Asynchronous Proof Processing with Isabelle/Scala and Isabelle/jEdit.
In: C. Sacerdoti Coen & D. Aspinall: User Interfaces for Theorem Provers (UITP 2010),
ENTCS,
doi:10.1016/j.entcs.2012.06.009.
Makarius Wenzel (2013):
READ-EVAL-PRINT in Parallel and Asynchronous Proof-checking.
In: Cezary Kaliszyk & Christoph Lüth: User Interfaces for Theorem Provers (UITP 2012),
EPTCS 118,
doi:10.4204/EPTCS.118.4.
Makarius Wenzel (2014):
Asynchronous User Interaction and Tool Integration in Isabelle/PIDE.
In: Gerwin Klein & Ruben Gamboa: Interactive Theorem Proving — 5th International Conference, ITP 2014, Vienna, Austria,
Lecture Notes in Computer Science 8558.
Springer,
doi:10.1007/978-3-319-08970-6_33.
Makarius Wenzel (2014):
System description: Isabelle/jEdit in 2014.
In: Christoph Benzmüller & Bruno Woltzenlogel Paleo: User Interfaces for Theorem Provers (UITP 2014),
EPTCS 167,
doi:10.4204/EPTCS.167.10.
Makarius Wenzel (2017):
Isabelle/jEdit.
Part of Isabelle distribution..
http://isabelle.in.tum.de/website-Isabelle2017/dist/Isabelle2017/doc/jedit.pdf.