Paket: mathpartir (1.2.0-7)
Links für mathpartir
Trisquel-Ressourcen:
Quellcode-Paket mathpartir herunterladen:
Betreuer:
Original Maintainer:
- Ralf Treinen
Externe Ressourcen:
- Homepage [cristal.inria.fr]
Ähnliche Pakete:
LaTeX macros for typesetting inference rules - transitional package
This is a transitional package to texlive-science, it can be safely removed.
Andere Pakete mit Bezug zu mathpartir
|
|
|
-
- dep: texlive-science (>= 2016.20170123-5)
- TeX Live: Mathematics, natural sciences, computer science packages
mathpartir herunterladen
Architektur | Paketgröße | Größe (installiert) | Dateien |
---|---|---|---|
all | 3,1 kB | 9 kB | [Liste der Dateien] |