@Article{tgck-jsc18, Title = {Aligning concepts across proof assistant libraries }, Author = {Thibault Gauthier and Cezary Kaliszyk}, Journal = {Journal of Symbolic Computation }, Year = {2018}, Note = {Symbolic Computation in Software Science }, Pages = {89 - 123}, Volume = {90}, Doi = {https://doi.org/10.1016/j.jsc.2018.04.005}, ISSN = {0747-7171}, Url = {https://www.sciencedirect.com/science/article/pii/S0747717118300348} }