Published January 15, 2024
| Version mathcomp-1.19.0
Software
Open
math-comp/math-comp: The Mathematical Components Library 1.19.0
Creators
- Cyril Cohen1
- Pierre Roux2
- Enrico Tassi3
- Kazuhiko Sakaguchi
- affeldt-aist
- Laurent Théry4
- Erik Martin-Dorel5
- Georges Gonthier1
- Assia Mahboubi
- Christian Doczkal
- Yves Bertot1
- Florent Hivert6
- Maxime Dénès
- Anton Trunov7
- Emilio Jesús Gallego Arias
- Pierre-Marie Pédrot
- jouvelot8
- Evgeniy Moiseenko9
- Jasper Hugunin10
- Pierre-Yves Strub
- antonio nikishaev
- Quentin VERMANDE
- KimayaBedarkar
- YOSHIHIRO Imai11
- Pierre PomCo
- Julin S
- Jason Gross12
- Alex Gryzlov13
- marinalopezchamosa
- YAMAMOTO Mitsuharu14
- 1. Inria
- 2. ONERA
- 3. @coq @math-comp @LPCIC
- 4. INRIA
- 5. Lab. IRIT, Univ. Paul Sabatier
- 6. University Paris-Sud Orsay Paris-Saclay / LRI / CNRS
- 7. TON Foundation
- 8. Mines Paris, PSL University
- 9. JetBrains Research
- 10. Microsoft
- 11. @proof-ninja, Inc
- 12. Machine Intelligence Research Institute
- 13. IMDEA Software
- 14. Chiba University
Description
This release is compatible with Coq 8.16 to 8.19.
See the CHANGELOG.md file for more details.
Files
math-comp/math-comp-mathcomp-1.19.0.zip
Files
(1.5 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:f8c951562ceb1b1b40c110a5546ec9b4
|
1.5 MB | Preview Download |
Additional details
Related works
- Is supplement to
- Software: https://github.com/math-comp/math-comp/tree/mathcomp-1.19.0 (URL)