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


BibTeX Export

@software{matthieu_sozeau_2021_4739438,
  author       = {Matthieu Sozeau and
                  Pierre-Marie Pédrot and
                  Cyprien Mangin and
                  Emilio Jesús Gallego Arias and
                  Gaëtan Gilbert and
                  Maxime Dénès and
                  Robin Green and
                  Hugo Herbelin and
                  Enrico Tassi and
                  Guillaume Claret and
                  Siddharth and
                  Anton Trunov and
                  Joachim Breitner and
                  Antonio Nikishaev and
                  Jim Fehrle and
                  SimonBoulier and
                  Søren Nørbæk and
                  Théo Zimmermann and
                  Vincent Laporte and
                  Yves Bertot},
  title        = {{mattam82/Coq-Equations: Equations 1.3beta1 for Coq 
                   8.13}},
  month        = may,
  year         = 2021,
  publisher    = {Zenodo},
  version      = {v1.3-8.13beta},
  doi          = {10.5281/zenodo.4739438},
  url          = {https://doi.org/10.5281/zenodo.4739438}
}
348
49
views
downloads
All versions This version
Views 3485
Downloads 493
Data volume 64.4 MB3.7 MB
Unique views 3005
Unique downloads 272

Share

Cite as