![](/img/cover-not-exists.png)
Aligning concepts across proof assistant libraries
Gauthier, Thibault, Kaliszyk, CezaryVolume:
90
Language:
english
Journal:
Journal of Symbolic Computation
DOI:
10.1016/j.jsc.2018.04.005
Date:
January, 2019
File:
PDF, 942 KB
english, 2019