Package: matita (0.99.1-1)

[ Source: matita  ]

strumento per dimostrazione interattiva di teoremi

Matita è uno strumento grafico interattivo per la dimostrazione di teoremi basato sul calcolo delle costruzioni (co)induttive.

Tags: Field: Mathematics, Implemented in: OCaml, User Interface: interface::commandline, interface::x11, Role: Program, Interface Toolkit: GTK, Purpose: use::checking, x11::application

Other Packages Related to matita

• dep: libatk1.0-0 (>= 1.12.4) [not armhf, ia64, mips, mipsel, s390, s390x]

  toolkit per l'accessibilità ATK

• dep: libc0.1 (>= 2.7) [kfreebsd-amd64, kfreebsd-i386]

  libreria C GNU embedded: librerie condivise
  also a virtual package provided by libc0.1-udeb

• dep: libc6 (>= 2.8) [amd64, armel, i386, powerpc, sparc]

  libreria C GNU embedded: librerie condivise
  also a virtual package provided by libc6-udeb

• dep: libcairo2 (>= 1.2.4) [not armhf, ia64, mips, mipsel, s390, s390x]

  libreria Cairo per grafica 2D vettoriale

• dep: libexpat1 (>= 2.0.1) [not armhf, ia64, mips, mipsel, s390, s390x]

  libreria C per l'analisi di file XML - runtime

• dep: libfontconfig1 (>= 2.9.0) [not armhf, ia64, mips, mipsel, s390, s390x]

  libreria generica per configurare i font - runtime

• dep: libfreetype6 (>= 2.2.1) [not armhf, ia64, mips, mipsel, s390, s390x]

  motore per caratteri FreeType 2, libreria condivisa

• dep: libgcc1 (>= 1:4.4.0) [armel]

  libreria di supporto a GCC

• dep: libgdk-pixbuf2.0-0 (>= 2.22.0) [not armhf, ia64, mips, mipsel, s390, s390x]

  libreria GDK Pixbuf

• dep: libglade2-0 (>= 1:2.6.1) [not armhf, ia64, mips, mipsel, s390, s390x]

  libreria che permette di caricare i file .glade al momento dell'esecuzione

• dep: libglib2.0-0 (>= 2.24.0) [not armhf, ia64, mips, mipsel, s390, s390x]

  libreria GLib di routine in C

• dep: libgtk2.0-0 (>= 2.24.0) [not armhf, ia64, mips, mipsel, s390, s390x]

  libreria per interfacce utente grafiche GTK+

• dep: libgtksourceview2.0-0 (>= 2.10.0) [not armhf, ia64, mips, mipsel, s390, s390x]

  librerie condivise per il widget GTK+ di evidenziazione della sintassi

• dep: libpango1.0-0 (>= 1.14.0) [not armhf, ia64, mips, mipsel, s390, s390x]

  impaginazione e rendering di testo internazionalizzato

• dep: libpcre3 (>= 8.10) [not armhf, ia64, mips, mipsel, s390, s390x]

  Libreria per espressioni regolari compatibili Perl 5 - eseguibili

• dep: libxml2 (>= 2.6.27) [not armhf, ia64, mips, mipsel, s390, s390x]

  libreria XML di GNOME

• dep: ocaml-base-nox-3.12.1 [armhf, ia64, mips, mipsel, s390, s390x]

  virtual package provided by ocaml-base-nox

• dep: zlib1g (>= 1:1.1.4) [not armhf, ia64, mips, mipsel, s390, s390x]

  libreria per la compressione - eseguibili

• rec: graphviz

  ricco insieme di strumenti per il disegno di grafi

• rec: yelp

  browser dell'aiuto di GNOME

Download matita

Download for all available architectures

Architecture	Package Size	Installed Size	Files
amd64	4,001.9 kB	12,134.0 kB	[list of files]
armel	3,771.8 kB	9,338.0 kB	[list of files]
armhf	9,159.3 kB	22,482.0 kB	[list of files]
i386	3,372.4 kB	9,004.0 kB	[list of files]
ia64	9,156.1 kB	22,482.0 kB	[list of files]
kfreebsd-amd64	4,003.2 kB	12,042.0 kB	[list of files]
kfreebsd-i386	3,372.1 kB	8,906.0 kB	[list of files]
mips	9,157.3 kB	22,482.0 kB	[list of files]
mipsel	9,158.9 kB	22,482.0 kB	[list of files]
powerpc	3,842.6 kB	9,594.0 kB	[list of files]
s390	9,152.5 kB	22,482.0 kB	[list of files]
s390x	9,153.4 kB	22,482.0 kB	[list of files]
sparc	3,853.3 kB	9,671.0 kB	[list of files]