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": []
All versions This version
Views 77635
Downloads 540
Data volume 70.6 MB0 Bytes
Unique views 70035
Unique downloads 320


Cite as