References

  1. 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.
  2. 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.
  3. 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.
  4. 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.
  5. 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.
  6. 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.
  7. 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.
  8. 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.
  9. Makarius Wenzel (2017): Isabelle/jEdit. Part of Isabelle distribution.. http://isabelle.in.tum.de/website-Isabelle2017/dist/Isabelle2017/doc/jedit.pdf.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org