January 19, 2022 Software Open Access

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}
}