[ experimental ]
[ Zdroj: ssreflect ]
Balík: mathcomp-doc (2.5.0-2)
Odkazy pre mathcomp-doc
Zdroje Debian:
Stiahnuť zdrojový balík ssreflect:
Správcovia:
- Debian OCaml Maintainers (Stránka QA, Konferencia)
- Stéphane Glondu (Stránka QA)
- Julien Puydt (Stránka QA)
- Ralf Treinen (Stránka QA)
Externé zdroje:
- Domovská stránka [math-comp.github.io]
Podobné balíky:
Experimentálny balík
Upozornenie: Tento balík pochádza z distribúcie experimental. To znamená, že je pravdepodobne nestabilný alebo môže dokonca spôsobiť stratu údajov. Predtým, než ho začnete používať sa prosím pozrite do záznamu zmien a ďalšej možnej dokumentácie.
Mathematical Components library for Coq (doc)
Stiahnuť mathcomp-doc
| Architektúra | Veľkosť balíka | Nainštalovaná veľkosť | Súbory |
|---|---|---|---|
| all | 3,559.5 kB | 146,432.0 kB | [zoznam súborov] |