[ experimental ]
[ Bron: ssreflect ]
Pakket: mathcomp-doc (2.5.0-2)
Verwijzigingen voor mathcomp-doc
Debian bronnen:
Het bronpakket ssreflect downloaden:
Beheerders:
- Debian OCaml Maintainers (QA-pagina, Mailarchief)
- Stéphane Glondu (QA-pagina)
- Julien Puydt (QA-pagina)
- Ralf Treinen (QA-pagina)
Externe bronnen:
- Homepage [math-comp.github.io]
Vergelijkbare pakketten:
Experimenteel pakket
Warning: This package is from the experimental distribution. That means it is likely unstable or buggy, and it may even cause data loss. Please be sure to consult the changelog and other possible documentation before using it.
Mathematical Components library for Coq (doc)