[ squeeze ] [ sid ]

[ Source: matita ]

Package: matita-doc (0.5.8-2)

Links for matita-doc

Debian Resources:

Download Source Package matita:

Maintainers:

External Resources:

Homepage [matita.cs.unibo.it]

Similar packages:

user manual of the Matita interactive theorem prover

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

Tags: Field: Mathematics, Made Of: HTML, Hypertext Markup Language, PDF Documents, Role: Documentation

Other Packages Related to matita-doc

depends

recommends

suggests

sug: matita

interactive theorem prover
sug: yelp

Help browser for GNOME

Download matita-doc

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