» Ubuntu » Packages » lucid » math » matita
[  lucid  ] [  precise  ] [  quantal  ] [  raring  ]
[ Source: matita  ]

Package: matita (0.5.8-2build2) [universe]

Links for matita

Screenshot

Ubuntu Resources:

Download Source Package matita:

Maintainer:

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

  • Debian OCaml Maintainers (Mail Archive)
  • Enrico Tassi
  • Stefano Zacchiroli

It should generally not be necessary for users to contact the original maintainer.

External Resources:

Similar packages:

interactive theorem prover

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

Matita adopts XML-encoded proof objects are produced for storage and exchange. This makes it compatible, at some extent, with Coq.

The graphical interface has been inspired by CtCoq and Proof General. It supports high quality bidimensional rendering of proofs and formulae transformed on-the-fly to MathML markup

Other Packages Related to matita

  • depends
  • recommends
  • suggests
  • dep: libatk1.0-0 (>= 1.29.3)
    The ATK accessibility toolkit
  • dep: libc6 (>= 2.11)
    Embedded GNU C Library: Shared libraries
    also a virtual package provided by libc6-udeb
  • dep: libcairo2 (>= 1.2.4)
    The Cairo 2D vector graphics library
  • dep: libexpat1 (>= 1.95.8)
    XML parsing C library - runtime library
  • dep: libfontconfig1 (>= 2.8.0)
    generic font configuration library - runtime
  • dep: libfreetype6 (>= 2.2.1)
    FreeType 2 font engine, shared library files
  • dep: libgdome2-0
    DOM level2 library for accessing XML files
  • dep: libgdome2-cpp-smart0c2a
    C++ bindings for GDome2 DOM implementation
  • dep: libglade2-0 (>= 1:2.6.1)
    library to load .glade files at runtime
  • dep: libglib2.0-0 (>= 2.16.0)
    The GLib library of C routines
  • dep: libgtk2.0-0 (>= 2.12.0)
    The GTK+ graphical user interface library
  • dep: libgtkmathview0c2a
    rendering engine for MathML documents
  • dep: libgtksourceview2.0-0 (>= 2.9.7)
    shared libraries for the GTK+ syntax highlighting widget
  • dep: libmysqlclient16 (>= 5.1.21-1)
    MySQL database client library
  • dep: libpango1.0-0 (>= 1.14.0)
    Layout and rendering of internationalized text
  • dep: libpcre3 (>= 7.7)
    Perl 5 Compatible Regular Expression Library - runtime files
  • dep: libsqlite3-0 (>= 3.6.22)
    SQLite 3 shared library
  • dep: libt1-5 (>= 5.1.0)
    Type 1 font rasterizer library - runtime
  • dep: libxml2 (>= 2.6.27)
    GNOME XML library
  • dep: zlib1g (>= 1:1.1.4)
    compression library - runtime
  • rec: graphviz
    rich set of graph drawing tools
  • rec: yelp
    Help browser for GNOME
  • sug: matita-doc
    user manual of the Matita interactive theorem prover

Download matita

Download for all available architectures
Architecture Package Size Installed Size Files
amd64 5,947.4 kB19,212.0 kB [list of files]