Published January 9, 2024
| Version v1.3-8.19
Software
Open
mattam82/Coq-Equations: Equations 1.3 for Coq 8.19
Creators
- Matthieu Sozeau1
- Pierre-Marie Pédrot
- Cyprien Mangin
- Gaëtan Gilbert1
- Emilio Jesús Gallego Arias
- Hugo Herbelin
- Robin Green
- Maxime Dénès
- Enrico Tassi2
- Guillaume Claret3
- Siddharth4
- Kenji Maillard
- Karl Palmskog5
- Joachim Breitner
- Jim Fehrle
- Anton Trunov6
- Ali Caglayan
- antonio nikishaev
- John Wiegley7
- Pierre Rousselin
- Pierre Roux8
- Rodolphe Lepigre
- SimonBoulier
- Søren Nørbæk
- Théo Zimmermann9
- Vincent Laporte
- Yves Bertot1
- 1. Inria
- 2. @coq @math-comp @LPCIC
- 3. Formal Land
- 4. University of Edinburgh
- 5. KTH Royal Institute of Technology
- 6. TON Foundation
- 7. @kadena-io
- 8. ONERA
- 9. Télécom Paris
Description
See the release notes for Equations 1.3
Files
mattam82/Coq-Equations-v1.3-8.19.zip
Files
(1.2 MB)
Name | Size | Download all |
---|---|---|
md5:7f59a6de199c677974383b870721edc5
|
1.2 MB | Preview Download |
Additional details
Related works
- Is supplement to
- Software: https://github.com/mattam82/Coq-Equations/tree/v1.3-8.19 (URL)