Software Open Access

ionathanch/coq: Initial Release

Hugo Herbelin; Pierre-Marie Pédrot; Maxime Dénès; letouzey; Matthieu Sozeau; Jean-Christophe Filliatre; Emilio Jesús Gallego Arias; Enrico Tassi; Gaëtan Gilbert; Théo Zimmermann; Arnaud Spiwack; barras; Pierre Boutillier; Guillaume Melquiond; Jason Gross; Vincent Laporte; Stéphane Glondu; Yves Bertot; forestjulien; Pierre Courtieu; Clément Pit-Claudel; Yann Régis Gianas; Jim Fehrle; psteckler; Xavier Clerc; MSoegtropIMC; Frédéric Besson; Tej Chajed; Jasper Hugunin; Amin Timany

This is the first release. This is also the version in the anonymous supplementary materials of the initial submission to CPP 2020 for Practical Sized Typing for Coq.

Files (8.3 MB)
Name Size
ionathanch/coq-v0.1.0.zip
md5:e7aefa5691179e04379ade83445b3b76 		8.3 MB Download
7
0
views
downloads
All versions This version
Views 77
Downloads 00
Data volume 0 Bytes0 Bytes
Unique views 33
Unique downloads 00
More info on how stats are collected.
Available in Indexed in
Publication date:
October 23, 2019
DOI:
10.5281/zenodo.3516517

Zenodo DOI Badge

DOI 

10.5281/zenodo.3516517

Markdown 

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

reStructedText 

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

HTML 

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

Image URL 

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

Target URL 

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

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

Versions

Version v0.1.0 10.5281/zenodo.3516517 Oct 23, 2019
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.3516516. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export