There is a newer version of this record available.

Software Open Access

mattam82/Coq-Equations: Equations 1.3beta1 for Coq 8.13

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


GeoJSON Export

{
  "type": "FeatureCollection", 
  "features": []
}
350
49
views
downloads
All versions This version
Views 3505
Downloads 493
Data volume 64.4 MB3.7 MB
Unique views 3025
Unique downloads 272

Share

Cite as