1. 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.
  2. Lars Hupel (2014): Interactive Simplifier Tracing and Debugging in Isabelle. In: Stephen M. Watt, James H. Davenport, Alan P. Sexton, Petr Sojka & Josef Urban: Intelligent Computer Mathematics (CICM 2014), LNCS 8543. Springer, doi:10.1007/978-3-319-08434-3_24.
  3. Christoph Lüth & Martin Ring (2013): A Web Interface for Isabelle: The Next Generation. In: Jacques Carette: Intelligent Computer Mathematics (CICM 2013), LNCS 7961. Springer, doi:10.1007/978-3-642-39320-4_22.
  4. Christoph Lüth & Martin Ring (2014): Collaborative Interactive Theorem Proving with Clide. In: Gerwin Klein & Ruben Gamboa: Interactive Theorem Proving (ITP 2014), LNCS 8558. Springer, doi:10.1007/978-3-319-08970-6_30.
  5. L. C. Paulson, T. Nipkow & G. Klein: Archive of Formal Proofs.
  6. M. Wenzel (2009): Parallel Proof Checking in Isabelle/Isar. In: G. Dos Reis & L. Théry: ACM SIGSAM Workshop on Programming Languages for Mechanized Mathematics Systems (PLMMS 2009). ACM Digital Library.
  7. 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.
  8. 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.
  9. 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.
  10. Makarius Wenzel (2013): Isabelle/jEdit. Part of Isabelle distribution..
  11. 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.
  12. Makarius Wenzel (2013): Shared-Memory Multiprocessing for Interactive Theorem Proving. In: 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, doi:10.1007/978-3-642-39634-2_30.
  13. 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.

Comments and questions to:
For website issues: