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


BibTeX Export

@software{matthieu_sozeau_2022_5878837,
  author       = {Matthieu Sozeau and
                  Pierre-Marie Pédrot and
                  Cyprien Mangin and
                  Gaëtan Gilbert and
                  Emilio Jesús Gallego Arias and
                  Hugo Herbelin and
                  Maxime Dénès and
                  Robin Green and
                  Enrico Tassi and
                  Guillaume Claret and
                  Siddharth and
                  Anton Trunov and
                  Jim Fehrle and
                  Joachim Breitner and
                  Antonio Nikishaev and
                  SimonBoulier and
                  Søren Nørbæk and
                  Théo Zimmermann and
                  Vincent Laporte and
                  Yves Bertot},
  title        = {mattam82/Coq-Equations: Equations 1.3 for Coq 8.15},
  month        = jan,
  year         = 2022,
  publisher    = {Zenodo},
  version      = {v1.3-8.15},
  doi          = {10.5281/zenodo.5878837},
  url          = {https://doi.org/10.5281/zenodo.5878837}
}
541
53
views
downloads
All versions This version
Views 54133
Downloads 532
Data volume 69.0 MB2.5 MB
Unique views 48026
Unique downloads 312

Share

Cite as