[ Quellcode: matita ]
Paket: matita (0.4.98-5) [universe]
Links für matita
Ubuntu-Ressourcen:
Quellcode-Paket matita herunterladen:
Betreuer:
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainers (usually from Debian):
- Enrico Tassi
- Stefano Zacchiroli
It should generally not be necessary for users to contact the original maintainer.
Externe Ressourcen:
- Homepage [matita.cs.unibo.it]
Ähnliche Pakete:
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
Andere Pakete mit Bezug zu matita
|
|
|
-
- dep: libart-2.0-2 (>= 2.3.18)
- Library of functions for 2D graphics - runtime files
-
- dep: libatk1.0-0 (>= 1.20.0)
- The ATK accessibility toolkit
-
- dep: libc6 (>= 2.7-1)
- GNU C Library: Shared libraries
auch ein virtuelles Paket, bereitgestellt durch libc6-udeb
-
- dep: libcairo2 (>= 1.4.0)
- The Cairo 2D vector graphics library
-
- dep: libexpat1 (>= 1.95.8)
- XML parsing C library - runtime library
-
- dep: libfontconfig1 (>= 2.4.0) [i386]
- generic font configuration library - runtime
-
- 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.14.0)
- The GLib library of C routines
-
- dep: libgnomeprint2.2-0 (>= 2.17.0)
- The GNOME 2.2 print architecture - runtime files
-
- dep: libgtk2.0-0 (>= 2.12.0)
- The GTK+ graphical user interface library
-
- dep: libgtkmathview0c2a
- rendering engine for MathML documents
-
- dep: libgtksourceview1.0-0 (>= 1.7.2)
- shared libraries for the GTK+ syntax highlighting widget
-
- dep: libmysqlclient15off (>= 5.0.27-1)
- MySQL database client library
-
- dep: libpango1.0-0 (>= 1.19.1)
- Layout and rendering of internationalized text
-
- dep: libpcre3 (>= 6.0)
- Perl 5 Compatible Regular Expression Library - runtime files
-
- dep: libsqlite3-0 (>= 3.4.2)
- SQLite 3 shared library
-
- dep: libt1-5 (>= 5.0.2)
- Type 1 font rasterizer library - runtime
-
- dep: libx11-6 [i386]
- X11 client-side library
-
- dep: libxcomposite1 (>= 1:0.3-1) [i386]
- X11 Composite extension library
-
- dep: libxcursor1 (>> 1.1.2) [i386]
- X cursor management library
-
- dep: libxdamage1 (>= 1:1.1) [i386]
- X11 damaged region extension library
-
- dep: libxext6 [i386]
- X11 miscellaneous extension library
-
- dep: libxfixes3 (>= 1:4.0.1) [i386]
- X11 miscellaneous 'fixes' extension library
-
- dep: libxi6 [i386]
- X11 Input extension library
-
- dep: libxinerama1 [i386]
- X11 Xinerama extension library
-
- dep: libxml2
- GNOME XML library
-
- dep: libxrandr2 (>= 2:1.2.0) [i386]
- X11 RandR extension library
-
- dep: libxrender1 [i386]
- X Rendering Extension client library
-
- dep: zlib1g (>= 1:1.2.3.3.dfsg-1)
- compression library - runtime
-
- rec: graphviz
- rich set of graph drawing tools
-
- rec: matita-standard-library
- standard library for the Matita interactive theorem prover
matita herunterladen
| Architektur | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|
| amd64 | 3.526,4 kB | 11.332,0 kB | [Liste der Dateien] |
| i386 | 3.201,1 kB | 9.300,0 kB | [Liste der Dateien] |