Package: matita (0.5.8-2 and others)

[ 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.

Matita usa oggetti di dimostrazione in codifica XML che sono prodotti per la memorizzazione e lo scambio; ciò lo rende compatibile, in certa misura, con Coq.

L'interfaccia grafica è stata ispirata da CtCoq e Proof General. Supporta il rendering bidimensionale ad alta qualità di dimostrazioni e formule trasformate in tempo reale in marcatori MathML.

Tags: Field: Mathematics, Implemented in: OCaml, User Interface: Command Line, X Window System, Role: Program, Interface Toolkit: GTK, Purpose: Checking, X Window System: Application

Other Packages Related to matita

• dep: libatk1.0-0 (>= 1.20.0) [not armel, ia64, mips, mipsel, s390]

  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.7) [amd64, i386, powerpc, sparc]

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

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

  libreria Cairo per grafica 2D vettoriale

• dep: libexpat1 (>= 1.95.8) [not armel, ia64, mips, mipsel, s390]

  libreria C per l'analisi di file XML - runtime

• dep: libfontconfig1 (>= 2.8.0) [not armel, ia64, mips, mipsel, s390]

  libreria generica per configurare i font - runtime

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

  motore per caratteri FreeType 2, libreria condivisa

• dep: libgdome2-0 [not armel, ia64, mips, mipsel, s390]

  libreria DOM level2 per accedere ai file XML

• dep: libgdome2-cpp-smart0c2a [not armel, ia64, mips, mipsel, s390]

  C++ bindings for GDome2 DOM implementation

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

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

• dep: libglib2.0-0 (>= 2.16.0) [not armel, ia64, mips, mipsel, s390]

  libreria GLib di routine in C

• dep: libgtk2.0-0 (>= 2.12.0) [not armel, ia64, mips, mipsel, s390]

  libreria grafica GTK+ per l'interfaccia utente

• dep: libgtkmathview0c2a [not armel, ia64, mips, mipsel, s390]

  rendering engine for MathML documents

• dep: libgtksourceview2.0-0 (>= 2.7.2) [not armel, ia64, mips, mipsel, s390]

  librerie condivise per il widget GTK+ di evidenziazione della sintassi

• dep: libmysqlclient16 (>= 5.1.21-1) [not armel, ia64, mips, mipsel, s390]

  libreria client per il database MySQL

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

  impaginazione e rendering di testo internazionalizzato

• dep: libpcre3 (>= 7.7) [not armel, ia64, mips, mipsel, s390]

  Libreria per espressioni regolari compatibili Perl 5 - eseguibili

• dep: libsqlite3-0 (>= 3.6.22) [not armel, ia64, mips, mipsel, s390]

  libreria condivisa SQLite 3

• dep: libt1-5 (>= 5.1.0) [not armel, ia64, mips, mipsel, s390]

  libreria per il rastering dei tipi di carattere Type 1 - eseguibile

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

  libreria XML di GNOME

• dep: ocaml-base-nox-3.11.2 [armel, ia64, mips, mipsel, s390]

  virtual package provided by ocaml-base-nox

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

  libreria per la compressione - eseguibili

• rec: graphviz

  ricco insieme di strumenti per il disegno di grafi

• rec: yelp

  browser dell'aiuto di GNOME

• sug: matita-doc

  manuale utente per il dimostratore di teoremi interattivo Matita

Download matita

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
amd64	0.5.8-2+b1	5,950.1 kB	18,996.0 kB	[list of files]
armel	0.5.8-2+b2	15,217.0 kB	38,240.0 kB	[list of files]
i386	0.5.8-2+b1	4,938.4 kB	14,448.0 kB	[list of files]
ia64	0.5.8-2+b2	15,218.0 kB	40,352.0 kB	[list of files]
kfreebsd-amd64	0.5.8-2+b1	5,948.4 kB	18,828.0 kB	[list of files]
kfreebsd-i386	0.5.8-2+b1	4,937.9 kB	14,092.0 kB	[list of files]
mips	0.5.8-2+b2	15,218.1 kB	38,240.0 kB	[list of files]
mipsel	0.5.8-2+b2	15,217.0 kB	38,240.0 kB	[list of files]
powerpc	0.5.8-2+b1	5,732.0 kB	15,496.0 kB	[list of files]
s390	0.5.8-2+b2	15,217.0 kB	38,240.0 kB	[list of files]
sparc	0.5.8-2+b1	5,815.8 kB	15,828.0 kB	[list of files]