@software{the_coq_development_team_2019_2554024, author = {The Coq Development Team}, title = {The Coq Proof Assistant}, month = jan, year = 2019, publisher = {Zenodo}, version = {8.9}, doi = {10.5281/zenodo.2554024}, url = {https://doi.org/10.5281/zenodo.2554024} }