Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Sozeau, Matthieu
Anand, Abhishek
Boulier, Simon
Cohen, Cyril
Forster, Yannick
Kunze, Fabian
Malecha, Gregory
Tabareau, Nicolas
and
Winterhalter, Théo
2020.
The MetaCoq Project.
Journal of Automated Reasoning,
Vol. 64,
Issue. 5,
p.
947.