There is a newer version of this record available.

Software Open Access

mattam82/Coq-Equations: Equations 1.3 for Coq 8.15

Matthieu Sozeau; Pierre-Marie Pédrot; Cyprien Mangin; Gaëtan Gilbert; Emilio Jesús Gallego Arias; Hugo Herbelin; Maxime Dénès; Robin Green; Enrico Tassi; Guillaume Claret; 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": []
}
739
53
views
downloads
All versions This version
Views 73959
Downloads 532
Data volume 69.0 MB2.5 MB
Unique views 66751
Unique downloads 312
More info on how stats are collected.
Available in Indexed in
Publication date:
January 19, 2022
DOI:
10.5281/zenodo.5878837

Zenodo DOI Badge

DOI 

10.5281/zenodo.5878837

Markdown 

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

reStructedText 

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

HTML 

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

Image URL 

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

Target URL 

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

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