@inproceedings{gallego:uitp2016,
    Author = {Gallego Arias, Emilio Jes\'us and Pin, Beno\^it and Jouvelot, Pierre},
    BookTitle = {{\rmfamily Proceedings of the 12th Workshop on} User Interfaces for Theorem Provers, {\rmfamily Coimbra, Portugal, 2nd July 2016}},
    Editor = {Autexier, Serge and Quaresma, Pedro},
    File = {jsCoq- Towards Hybrid Theorem Proving Interfaces - 1701.07125 - a - a - a - r.pdf},
    ISSN = {2075-2180},
    Pages = {15-27},
    Publisher = {Open Publishing Association},
    Series = {Electronic Proceedings in Theoretical Computer Science},
    Title = {{jsCoq}: Towards Hybrid Theorem Proving Interfaces},
    Volume = {239},
    Year = {2017},
    bdsk-url-1 = {https://doi.org/10.4204/EPTCS.239.2},
    date-added = {2020-03-24 12:03:04 +0100},
    date-modified = {2020-03-24 12:03:04 +0100},
    doi = {10.4204/EPTCS.239.2}
}

@inproceedings{gallego:uitp2016, Author = {Gallego Arias, Emilio Jes\'us and Pin, Beno\^it and Jouvelot, Pierre}, BookTitle = {{\rmfamily Proceedings of the 12th Workshop on} User Interfaces for Theorem Provers, {\rmfamily Coimbra, Portugal, 2nd July 2016}}, Editor = {Autexier, Serge and Quaresma, Pedro}, File = {jsCoq- Towards Hybrid Theorem Proving Interfaces - 1701.07125 - a - a - a - r.pdf}, ISSN = {2075-2180}, Pages = {15-27}, Publisher = {Open Publishing Association}, Series = {Electronic Proceedings in Theoretical Computer Science}, Title = {{jsCoq}: Towards Hybrid Theorem Proving Interfaces}, Volume = {239}, Year = {2017}, bdsk-url-1 = {https://doi.org/10.4204/EPTCS.239.2}, date-added = {2020-03-24 12:03:04 +0100}, date-modified = {2020-03-24 12:03:04 +0100}, doi = {10.4204/EPTCS.239.2} }