všetky možnosti
squeeze  ]
[ Zdroj: matita  ]

Balík: matita-doc (0.5.8-2)

Odkazy pre matita-doc

Screenshot

Zdroje Debian:

Stiahnuť zdrojový balík matita:

Správcovia:

Externé zdroje:

Podobné balíky:

user manual of the Matita interactive theorem prover

This package contains the PDF and HTML formatted Matita user manual.

Ostatné balíky súvisiace s balíkom matita-doc

  • závisí
  • odporúča
  • navrhuje
  • enhances

Stiahnuť matita-doc

Stiahnuť pre všetky dostupné architektúry
Architektúra Veľkosť balíka Nainštalovaná veľkosť Súbory
all 1,631.4 kB2,552.0 kB [zoznam súborov]