@software{matthieu_sozeau_2021_4609360, 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 Guillaume Claret and Siddharth and Anton Trunov and Enrico Tassi and Joachim Breitner and Antonio Nikishaev and SimonBoulier and Søren Nørbæk and Vincent Laporte and Yves Bertot}, title = {{mattam82/Coq-Equations: Equations 1.2.4 for Coq 8.12}}, month = mar, year = 2021, publisher = {Zenodo}, version = {v1.2.4-8.12}, doi = {10.5281/zenodo.4609360}, url = {https://doi.org/10.5281/zenodo.4609360} }