Вы искали пакеты, в именах которых есть matita. Были просмотрены все комплекты, все секции и все архитектуры.
Количество подходящих пакетов: 3.
Точные совпадения
Пакет 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.8-2: alpha amd64 hppa i386 ia64 kfreebsd-amd64 kfreebsd-i386 mipsel
0.5.8-1: armel mips powerpc s390 sparc
0.5.7-2: hurd-i386
0.5.7-1 [debports]: m68k
Другие совпадения
Пакет 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.8-2: all
Пакет 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
