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_3744225,
  author       = {The Coq Development Team},
  title        = {The Coq Proof Assistant},
  month        = jan,
  year         = 2020,
  publisher    = {Zenodo},
  version      = {8.11},
  doi          = {10.5281/zenodo.3744225},
  url          = {https://doi.org/10.5281/zenodo.3744225}
}
6,545
8,459
views
downloads
All versions This version
Views 6,545554
Downloads 8,459786
Data volume 24.4 GB2.5 GB
Unique views 4,969436
Unique downloads 7,127710
More info on how stats are collected.
Indexed in
Publication date:
January 30, 2020
DOI:
10.5281/zenodo.3744225

Zenodo DOI Badge

DOI 

10.5281/zenodo.3744225

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.3744225.svg)](https://doi.org/10.5281/zenodo.3744225)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.3744225.svg
   :target: https://doi.org/10.5281/zenodo.3744225

HTML 

<a href="https://doi.org/10.5281/zenodo.3744225"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.3744225.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.3744225.svg

Target URL 

https://doi.org/10.5281/zenodo.3744225

Keyword(s):
proof assistant mathematical software formal proofs
Related identifiers:
Identical to
New versions
License (for files):
GNU Lesser General Public License v2.1 only

Versions

Version 8.17 10.5281/zenodo.8161141 Jun 27, 2023
Version 8.16 10.5281/zenodo.7313584 Sep 5, 2022
Version 8.15 10.5281/zenodo.5846982 Jan 13, 2022
Version 8.14 10.5281/zenodo.5704840 Oct 14, 2021
Version 8.13 10.5281/zenodo.4501022 Jan 7, 2021
...
Version 8.11 10.5281/zenodo.3744225 Jan 30, 2020
View all 14 versions
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.1003420. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export