[ experimental ]
[ Källkod: ssreflect ]
Paket: mathcomp-doc (2.5.0-2)
Länkar för mathcomp-doc
Debianresurser:
Hämta källkodspaketet ssreflect:
Ansvariga:
- Debian OCaml Maintainers (QA-sida, E-postarkiv)
- Stéphane Glondu (QA-sida)
- Julien Puydt (QA-sida)
- Ralf Treinen (QA-sida)
Externa resurser:
- Hemsida [math-comp.github.io]
Liknande paket:
Experimentellt paket
Varning: Paketet är från den experimentella utgåvan. Det innebär att det med stor sannolikhet är instabilt eller innehåller fel, och kanske till och med kan orsaka dataförluster. Se till att läsa ändringsloggen och annan dokumentation innan du använder det.
Mathematical Components library for Coq (doc)
Hämta mathcomp-doc
| Arkitektur | Paketstorlek | Installerad storlek | Filer |
|---|---|---|---|
| all | 3.559,5 kbyte | 146.432,0 kbyte | [filförteckning] |