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

Share

Cite as