E. J. Arias, Coq Serializable Protocol (SerAPI). https: //github.com/ejgallego/coq-serapi, pp.2016-2025

B. Barras, C. Tankink, and E. Tassi, Asynchronous Processing of Coq Documents: From the Kernel up to the User Interface, Interactive Theorem Proving -6th International Conference, pp.51-66, 2015.
DOI : 10.1007/978-3-319-22102-1_4

URL : https://hal.archives-ouvertes.fr/hal-01135919

E. J. Gallego-arias, B. Pin, and P. Jouvelot, jsCoq: Towards Hybrid Theorem Proving Interfaces, Proceedings of the 12th Workshop on User Interfaces for Theorem Provers, 2016.
DOI : 10.4204/EPTCS.239.2

URL : https://hal.archives-ouvertes.fr/hal-01425752

C. Pit-claudel and P. Courtieu, Company-Coq: Taking Proof General one step closer to a real IDE " . In: CoqPL'16: The Second International Workshop on Coq for PL, 2016.

P. Steckler, Proof General with XML Protocol Support. https: / / github . com / psteckler / ProofGeneral. Accessed, pp.2016-2025

J. Vouillon and V. Balat, From bytecode to JavaScript: the Js_of_ocaml compiler, Software: Practice and Experience, vol.26, issue.4, pp.951-972, 2014.
DOI : 10.1002/spe.2187

URL : https://hal.archives-ouvertes.fr/hal-00826786

M. Wenzel, Asynchronous User Interaction and Tool Integration in Isabelle Held as Part of the Vienna Summer of Logic, Interactive Theorem Proving -5th International Conference, pp.515-530, 2014.

M. Wenzel, PIDE as front-end technology for Coq, p.6626, 1304.