Jaime Gaspar. ε in Coq. In Matthew England, James H. Davenport, Andrea Kohlhase, Michael Kohlhase, Paul Libbrecht, Walther Neuper, Pedro Quaresma, Alan P. Sexton, Petr Sojka, Josef Urban, Stephen M. Watt, editors, Joint Proceedings of the MathUI, OpenMath and ThEdu Workshops and Work in Progress track at CICM co-located with Conferences on Intelligent Computer Mathematics (CICM 2014), Coimbra, Portugal, July 7-11, 2014. Volume 1186 of CEUR Workshop Proceedings, CEUR-WS.org, 2014. [doi]
@inproceedings{Gaspar14,
title = {ε in Coq},
author = {Jaime Gaspar},
year = {2014},
url = {http://ceur-ws.org/Vol-1186/paper-16.pdf},
researchr = {https://researchr.org/publication/Gaspar14},
cites = {0},
citedby = {0},
booktitle = {Joint Proceedings of the MathUI, OpenMath and ThEdu Workshops and Work in Progress track at CICM co-located with Conferences on Intelligent Computer Mathematics (CICM 2014), Coimbra, Portugal, July 7-11, 2014},
editor = {Matthew England and James H. Davenport and Andrea Kohlhase and Michael Kohlhase and Paul Libbrecht and Walther Neuper and Pedro Quaresma and Alan P. Sexton and Petr Sojka and Josef Urban and Stephen M. Watt},
volume = {1186},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}