Andrea Asperti, Claudio Sacerdoti Coen, Enrico Tassi & Stefano Zacchiroli (2007):
User Interaction with the Matita Proof Assistant.
Journal of Automated Reasoning 39(2),
doi:10.1007/s10817-007-9070-5.
David Aspinall (2000):
Proof General: A Generic Tool for Proof Development.
In: Susanne Graf & Michael Schwartzbach: European Joint Conferences on Theory and Practice of Software (ETAPS),
LNCS 1785.
Springer,
doi:10.1007/3-540-46419-0_3.
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.
Bruno Barras, Hugo Herbelin, Lourdes del Carmen González Huesca, Yann Régis-Gianas, Enrico Tassi, Makarius Wenzel & Burkhart Wolff (2013):
Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems.
In: Jacques Carette, David Aspinall, Christoph Lange, Petr Sojka & Wolfgang Windsteiger: Conference on Intelligent Computer Mathematics (CICM 2013),
LNAI 7961.
Springer,
doi:10.1007/978-3-642-39320-4_29.
Yves Bertot & Laurent Théry (1998):
A generic approach to building user interfaces for theorem provers.
Journal of Symbolic Computation 25(7),
doi:10.1006/jsco.1997.0171.
David C. J. Matthews & Makarius Wenzel (2010):
Efficient Parallel Programming in Poly/ML and Isabelle/ML.
In: ACM SIGPLAN Workshop on Declarative Aspects of Multicore Programming (DAMP 2010), co-located with POPL.
ACM Press,
doi:10.1145/1708046.1708058.
M. Odersky (2004):
An Overview of the Scala Programming Language.
Technical Report IC/2004/64.
EPF Lausanne.
Enrico Tassi & Bruno Barras (2012):
Designing a state transaction machine for Coq.
In: The Coq Workshop 2012 (co-located with ITP 2012).
M. Wenzel (2011):
Isabelle as Document-oriented Proof Assistant.
In: J. H. Davenport, W. M. Farmer, F. Rabe & J. Urban: Conference on Intelligent Computer Mathematics / Mathematical Knowledge Management (CICM/MKM 2011),
LNAI 6824.
Springer,
doi:10.1007/978-3-642-22673-1_17.
M. Wenzel, L.C. Paulson & T. Nipkow (2008):
The Isabelle Framework.
In: Theorem Proving in Higher Order Logics (TPHOLs 2008),
LNCS.
Springer,
doi:10.1007/978-3-540-71067-7_7.
Makarius Wenzel (2009):
Parallel Proof Checking in Isabelle/Isar.
In: G. Dos Reis & L. Théry: ACM SIGSAM 2009 International Workshop on Programming Languages for Mechanized Mathematics Systems (PLMMS).
ACM Digital library.
Makarius Wenzel (2010):
Asynchronous Proof Processing with Isabelle/Scala and Isabelle/jEdit.
In: Claudio Sacerdoti Coen & David Aspinall: User Interfaces for Theorem Provers (UITP 2010),
ENTCS,
doi:10.1016/j.entcs.2012.06.009.
FLOC 2010 Satellite Workshop.
Makarius Wenzel (2012):
Isabelle/jEdit — a Prover IDE within the PIDE framework.
In: J. Jeuring: Conference on Intelligent Computer Mathematics (CICM 2012),
LNAI 7362.
Springer,
doi:10.1007/978-3-642-31374-5_38.