There is a newer version of this record available.

Software Open Access

The Coq Proof Assistant

The Coq Development Team


BibTeX Export

@software{the_coq_development_team_2020_4021912,
  author       = {The Coq Development Team},
  title        = {The Coq Proof Assistant},
  month        = jul,
  year         = 2020,
  publisher    = {Zenodo},
  version      = {8.12},
  doi          = {10.5281/zenodo.4021912},
  url          = {https://doi.org/10.5281/zenodo.4021912}
}
2,891
5,366
views
downloads
All versions This version
Views 2,891331
Downloads 5,366255
Data volume 14.5 GB901.9 MB
Unique views 2,034251
Unique downloads 4,416234

Share

Cite as