@software{the_coq_development_team_2017_1028037, author = {The Coq Development Team}, title = {The Coq Proof Assistant, version 8.7.0}, month = oct, year = 2017, publisher = {Zenodo}, version = {8.7.0}, doi = {10.5281/zenodo.1028037}, url = {https://doi.org/10.5281/zenodo.1028037} }