## jsCoq related papers A paper describing the ideas behind jsCoq has been published in the proceeding of the [UITP 2016 workshop](https://web.archive.org/web/20190319183042/http://www.informatik.uni-bremen.de/uitp/). The paper is available from the open access [EPTCS](http://eptcs.web.cse.unsw.edu.au/paper.cgi?UITP2016.2) proceedings. The recommended citation is: ```bibtex @Inproceedings{gallego:uitp2016, author = {Gallego Arias, Emilio Jes\'us and Pin, Beno\^it and Jouvelot, Pierre}, year = {2017}, title = {{jsCoq}: Towards Hybrid Theorem Proving Interfaces}, editor = {Autexier, Serge and Quaresma, Pedro}, booktitle = {{\rmfamily Proceedings of the 12th Workshop on} User Interfaces for Theorem Provers, {\rmfamily Coimbra, Portugal, 2nd July 2016}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {239}, publisher = {Open Publishing Association}, pages = {15-27}, doi = {10.4204/EPTCS.239.2}, issn = {2075-2180} } ``` - [Bringing theorem proving to the sonic masses](https://hal-mines-paristech.archives-ouvertes.fr/hal-01254456/document) - Some further ideas behind jsCoq are also discussed in [SerAPI: Machine-Friendly, Data-Centric Serialization for COQ. Technical Report](https://hal-mines-paristech.archives-ouvertes.fr/hal-01384408)