all options
squeeze  ]
[ Source: matita  ]

Package: matita-doc (0.5.8-2)

Links for matita-doc


Debian Resources:

Download Source Package matita:


External Resources:

Similar packages:

user manual of the Matita interactive theorem prover

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

Other Packages Related to matita-doc

  • depends
  • recommends
  • suggests
  • enhances

Download matita-doc

Download for all available architectures
Architecture Package Size Installed Size Files
all 1,631.4 kB2,552.0 kB [list of files]