» Ubuntu » Paket » lucid (10.04LTS) » math » matita
lucid  ] [  precise  ] [  quantal  ] [  raring  ] [  saucy  ] [  trusty  ]
[ Källkod: matita  ]

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

Länkar för matita

Screenshot

Ubunturesurser:

Hämta källkodspaketet matita:

Ansvarig:

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

Original Maintainers (usually from Debian):

  • Debian OCaml Maintainers (E-postarkiv)
  • Enrico Tassi
  • Stefano Zacchiroli

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

Externa resurser:

Liknande paket:

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

Andra paket besläktade med matita

  • beror
  • rekommenderar
  • föreslår
  • dep: libatk1.0-0 (>= 1.29.3)
    The ATK accessibility toolkit
  • dep: libc6 (>= 2.11)
    Embedded GNU C Library: Shared libraries
    också ett virtuellt paket som tillhandahålls av 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

Hämta matita

Hämtningar för alla tillgängliga arkitekturer
Arkitektur Paketstorlek Installerad storlek Filer
amd64 5.947,4 kbyte19.212,0 kbyte [filförteckning]
i386 5.672,4 kbyte15.992,0 kbyte [filförteckning]