[ experimental ]
[ Source: ssreflect ]
Paketti: mathcomp-doc (2.5.0-2)
Links for mathcomp-doc
Debian-palvelut:
Imuroi lähdekoodipaketti ssreflect:
Ylläpitäjät:
- Debian OCaml Maintainers (Laadunvalvontasivu, Mail Archive)
- Stéphane Glondu (Laadunvalvontasivu)
- Julien Puydt (Laadunvalvontasivu)
- Ralf Treinen (Laadunvalvontasivu)
External Resources:
- Kotisivu [math-comp.github.io]
Samankaltaisia paketteja:
Kokeellinen paketti
Varoitus: Tämä paketti on kokeellisesta jakelusta. Tämä tarkoittaa, että se on luultavasti epävakaa tai buginen, ja voi aiheuttaa jopa tiedonhäviötä. Kannattaa ehdottomasti tutustua muutoslokiin ja muihin mahdollisiin ohjeisiin ennen käyttöönottoa.
Mathematical Components library for Coq (doc)
Imuroi mathcomp-doc
| Arkkitehtuuri | Paketin koko | Koko asennettuna | Tiedostot |
|---|---|---|---|
| all | 3,559.5 kt | 146,432.0 kt | [tiedostoluettelo] |