References

  1. Bruno Barras & Enrico Tassi (2012): Designing a State Transaction Machine for Coq. Extended abstract. Available at https://www.lri.fr/~wolff/projects/ANR-Paral-ITP/papers/files/coq-workshop-paper.pdf.
  2. Makarius Wenzel (2013): PIDE as front-end technology for Coq. CoRR abs/1304.6626. Available at http://arxiv.org/abs/1304.6626.
  3. Makarius Wenzel (2014): Asynchronous User Interaction and Tool Integration in Isabelle/PIDE. In: G. Klein & R. Gamboa: Interactive Theorem Proving (ITP 2014), LNCS. Springer, doi:10.1007/978-3-319-08970-6_33.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org