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
- lenny (stable) (math):
interactive theorem prover
0.5.3-1: alpha amd64 arm armel hppa i386 ia64 mips mipsel powerpc s390 sparc
- squeeze (testing) (math):
interactive theorem prover
0.5.7-2+b1: amd64 armel hppa i386 ia64 mips mipsel powerpc s390 sparc
- sid (unstable) (math):
interactive theorem prover
0.5.7-2+b1: alpha amd64 armel hppa i386 ia64 mips mipsel powerpc s390 sparc
0.5.7-2: hurd-i386 kfreebsd-amd64 kfreebsd-i386
0.5.7-1 [debports]: m68k
Other hits
Package matita-doc
- squeeze (testing) (doc):
user manual of the Matita interactive theorem prover
0.5.7-2: all
- sid (unstable) (doc):
user manual of the Matita interactive theorem prover
0.5.7-2: all
Package matita-standard-library
- lenny (stable) (math):
standard library for the Matita interactive theorem prover
0.5.3-1: all
- squeeze (testing) (math):
standard library for the Matita interactive theorem prover
0.5.7-2: all
- sid (unstable) (math):
standard library for the Matita interactive theorem prover
0.5.7-2: all
- experimental (math):
standard library for the Matita interactive theorem prover
0.5.5-1: all
