všetky možnosti
squeeze  ] [  wheezy  ] [  jessie  ] [  sid  ]
[ Zdroj: matita  ]

Balík: matita (0.99.1-1)

Odkazy pre matita

Screenshot

Zdroje Debian:

Stiahnuť zdrojový balík matita:

Správcovia:

Externé zdroje:

Podobné balíky:

interactive theorem prover

Matita is a graphical interactive theorem prover based on the Calculus of (Co)Inductive Constructions.

Značky: Field: Matematika, Implemented in: OCaml, User Interface: interface::commandline, interface::x11, Role: Program, Interface Toolkit: GTK, Purpose: use::checking, x11::application

Ostatné balíky súvisiace s balíkom matita

  • závisí
  • odporúča
  • navrhuje
  • enhances

Stiahnuť matita

Stiahnuť pre všetky dostupné architektúry
Architektúra Veľkosť balíka Nainštalovaná veľkosť Súbory
amd64 4,001.9 kB12,134.0 kB [zoznam súborov]
armel 3,771.8 kB9,338.0 kB [zoznam súborov]
armhf 9,159.3 kB22,482.0 kB [zoznam súborov]
i386 3,372.4 kB9,004.0 kB [zoznam súborov]
ia64 9,156.1 kB22,482.0 kB [zoznam súborov]
kfreebsd-amd64 4,003.2 kB12,042.0 kB [zoznam súborov]
kfreebsd-i386 3,372.1 kB8,906.0 kB [zoznam súborov]
mips 9,157.3 kB22,482.0 kB [zoznam súborov]
mipsel 9,158.9 kB22,482.0 kB [zoznam súborov]
powerpc 3,842.6 kB9,594.0 kB [zoznam súborov]
s390 9,152.5 kB22,482.0 kB [zoznam súborov]
s390x 9,153.4 kB22,482.0 kB [zoznam súborov]
sparc 3,853.3 kB9,671.0 kB [zoznam súborov]