Coq Serializable Protocol (SerAPI). https: //github.com/ejgallego/coq-serapi, pp.2016-2025 ,
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
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
Company-Coq: Taking Proof General one step closer to a real IDE " . In: CoqPL'16: The Second International Workshop on Coq for PL, 2016. ,
Proof General with XML Protocol Support. https: / / github . com / psteckler / ProofGeneral. Accessed, pp.2016-2025 ,
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
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. ,
PIDE as front-end technology for Coq, p.6626, 1304. ,