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