» Ubuntu » Пакети » lucid (10.04LTS) » math » matita
lucid  ] [  precise  ] [  raring  ] [  saucy  ] [  trusty  ] [  utopic  ]
[ Източник: matita  ]

Пакет: matita (0.5.8-2build2) [universe]

Връзки за matita

Screenshot

Ресурси за Ubuntu:

Изтегляне на пакет-източник matita.

Отговорник:

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

Original Maintainers (usually from Debian):

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

Външни препратки:

Подобни пакети:

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

Други пакети, свързани с matita

  • зависимости
  • препоръчани
  • предложени
  • dep: libatk1.0-0 (>= 1.29.3)
    The ATK accessibility toolkit
  • dep: libc6 (>= 2.11)
    Embedded GNU C Library: Shared libraries
    също и виртуален пакет, предлаган от 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

Изтегляне на matita

Изтегляне за всички налични архитектури
Архитектура Големина на пакета Големина след инсталиране Файлове
amd64 5 947,4 кБ19 212,0 кБ [списък на файловете]
i386 5 672,4 кБ15 992,0 кБ [списък на файловете]