Thibault Gauthier, Cezary Kaliszyk. Aligning concepts across proof assistant libraries. Journal of Symbolic Computation, 90:89-123, 2019. [doi]
@article{GauthierK19,
title = {Aligning concepts across proof assistant libraries},
author = {Thibault Gauthier and Cezary Kaliszyk},
year = {2019},
doi = {10.1016/j.jsc.2018.04.005},
url = {https://doi.org/10.1016/j.jsc.2018.04.005},
researchr = {https://researchr.org/publication/GauthierK19},
cites = {0},
citedby = {0},
journal = {Journal of Symbolic Computation},
volume = {90},
pages = {89-123},
}