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": []
}
540
53
views
downloads
All versions This version
Views 54032
Downloads 532
Data volume 69.0 MB2.5 MB
Unique views 47925
Unique downloads 312

Share

Cite as