Team, T.C.D., 2018. The Coq Proof Assistant, Version 8.7.2.. https://doi.org/10.5281/zenodo.1174360