Search in specific suite: [hardy] [hardy-updates] [hardy-backports] [lucid] [lucid-updates] [lucid-backports] [maverick] [maverick-updates] [maverick-backports] [natty] [natty-updates] [natty-backports] [oneiric] [oneiric-updates] [oneiric-backports] [precise]
Limit search to a specific architecture: [i386] [amd64] [powerpc] [armel]
You have searched for packages that names contain matita in all suites, all sections, and all architectures. Found 3 matching packages.
Exact hits
Package matita
- hardy (math):
interactive theorem prover [universe]
0.4.98-5: amd64 i386 - lucid (math):
interactive theorem prover [universe]
0.5.8-2build2: amd64 i386 - maverick (math):
interactive theorem prover [universe]
0.5.8-2build2: amd64 i386 - natty (math):
interactive theorem prover [universe]
0.5.8-2build2: amd64 i386 - oneiric (math):
interactive theorem prover [universe]
0.5.8-3: amd64 i386 - precise (math):
interactive theorem prover [universe]
0.5.8-3build1: amd64 i386
Other hits
Package matita-doc
- lucid (doc):
user manual of the Matita interactive theorem prover [universe]
0.5.8-2build2: all - maverick (doc):
user manual of the Matita interactive theorem prover [universe]
0.5.8-2build2: all - natty (doc):
user manual of the Matita interactive theorem prover [universe]
0.5.8-2build2: all - oneiric (doc):
user manual of the Matita interactive theorem prover [universe]
0.5.8-3: all - precise (doc):
user manual of the Matita interactive theorem prover [universe]
0.5.8-3build1: all
Package matita-standard-library
- hardy (math):
standard library for the Matita interactive theorem prover [universe]
0.4.98-5: all