tüm seçenekler
jessie  ] [  stretch  ] [  sid  ]
[ Kaynak: matita  ]

Paket: matita (0.99.1-3)

matita için bağlantılar

Screenshot

Debian Kaynakları:

matita Kaynak Paketini İndir:

Geliştiriciler:

Dış Kaynaklar:

Benzer paketler:

interactive theorem prover

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

Etiketler: Alan: Matematik, Geliştirildiği dil: OCaml, Kullanıcı Arayüzü: interface::commandline, interface::x11, Rol: Program, Arayüz Araç Takımı: GTK, Amaç: use::checking, x11::application

matita ile İlgili Diğer Paketler

  • bağımlılıklar
  • tavsiye edilen
  • önerilen
  • enhances

matita indir

Tüm mevcut mimariler için indir
Mimari Paket Boyutu Kurulu Boyut Dosyalar
armel 2.559,4 kB11.196,0 kB [dosya listesi]