Zenodo.org will be unavailable for 2 hours on September 29th from 06:00-08:00 UTC. See announcement.
There is a newer version of this record available.

Software Open Access

mattam82/Coq-Equations: Equations 1.3 for Coq 8.14

Matthieu Sozeau; Pierre-Marie Pédrot; Cyprien Mangin; Emilio Jesús Gallego Arias; Gaëtan Gilbert; Hugo Herbelin; Maxime Dénès; Robin Green; Guillaume Claret; Enrico Tassi; Siddharth; Anton Trunov; Jim Fehrle; Joachim Breitner; Antonio Nikishaev; SimonBoulier; Søren Nørbæk; Théo Zimmermann; Vincent Laporte; Yves Bertot

GeoJSON Export

{
  "type": "FeatureCollection", 
  "features": []
}
776
54
views
downloads
All versions This version
Views 77635
Downloads 540
Data volume 70.6 MB0 Bytes
Unique views 70035
Unique downloads 320
More info on how stats are collected.
Available in Indexed in
Publication date:
September 27, 2021
DOI:
10.5281/zenodo.5529713

Zenodo DOI Badge

DOI 

10.5281/zenodo.5529713

Markdown 

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

reStructedText 

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

HTML 

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

Image URL 

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

Target URL 

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

Related identifiers:
Supplement to
License (for files):
Other (Open)

Versions

Version v1.3-8.17 10.5281/zenodo.7515333 Jan 9, 2023
Version v1.3-8.16 10.5281/zenodo.6645029 Jun 15, 2022
Version v1.3-8.15 10.5281/zenodo.5878837 Jan 19, 2022
Version v1.3-8.13 10.5281/zenodo.5729217 Nov 26, 2021
Version v1.3-8.14 10.5281/zenodo.5529713 Sep 27, 2021
View all 28 versions
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.1117296. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export