[ experimental ]
[ Quellcode: ssreflect ]
Paket: mathcomp-doc (2.5.0-2)
Links für mathcomp-doc
Debian-Ressourcen:
Quellcode-Paket ssreflect herunterladen:
Betreuer:
- Debian OCaml Maintainers (QS-Seite, E-Mail-Archiv)
- Stéphane Glondu (QS-Seite)
- Julien Puydt (QS-Seite)
- Ralf Treinen (QS-Seite)
Externe Ressourcen:
- Homepage [math-comp.github.io]
Ähnliche Pakete:
Experimentelles Paket
Warnung: Dieses Paket stammt aus der Experimental-Distribution. Dies bedeutet, dass es höchstwahrscheinlich instabil oder fehlerhaft ist und sogar Datenverlust verursachen kann. Bitte lesen Sie den Changelog und andere möglicherweise verfügbare Dokumentation, bevor Sie es benutzen.
Mathematical Components library for Coq (doc)
mathcomp-doc herunterladen
| Architektur | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|
| all | 3.559,5 kB | 146.432,0 kB | [Liste der Dateien] |