@software{the_coq_development_team_2021_4501022, author = {The Coq Development Team}, title = {The Coq Proof Assistant}, month = feb, year = 2021, publisher = {Zenodo}, version = {8.13}, doi = {10.5281/zenodo.4501022}, url = {https://doi.org/10.5281/zenodo.4501022} }