[ 源代码: coq ]
软件包: coqide (8.0pl3-2ubuntu1) [universe]
coqide 的相关链接
Ubuntu 的资源:
下载源码包 coq:
维护者:
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)
- Ralf Treinen
- Sven Luther
- Remi Vanicat
- Stefano Zacchiroli
- Samuel Mimram
It should generally not be necessary for users to contact the original maintainer.
相似软件包:
proof assistant for higher-order logic (gtk interface)
Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp4. For more information, see <http://coq.inria.fr/>.
This package provides CoqIde, a graphical user interface for developing proofs.
其它与 coqide 有关的软件包
|
|
|
-
- dep: coq (>= 8.0)
- proof assistant for higher-order logic (toplevel and compiler)
-
- dep: libatk1.0-0 (>= 1.13.1)
- The ATK accessibility toolkit
-
- dep: libc6 (>= 2.5-0ubuntu1)
- GNU C 语言运行库：共享库
同时作为一个虚包由这些包填实: libc6-udeb
-
- dep: libcairo2 (>= 1.4.0)
- The Cairo 2D vector graphics library
-
- dep: libfontconfig1 (>= 2.4.0)
- generic font configuration library - runtime
-
- dep: libglib2.0-0 (>= 2.12.9)
- The GLib library of C routines
-
- dep: libgtk2.0-0 (>= 2.10.3)
- The GTK+ graphical user interface library
-
- dep: libncurses5 (>= 5.4-5)
- 终端控制共享库
-
- dep: libpango1.0-0 (>= 1.16.1)
- Layout and rendering of internationalized text
-
- dep: libx11-6
- X11 client-side library
-
- dep: libxcursor1 (>> 1.1.2)
- X cursor management library
-
- dep: libxext6
- X11 miscellaneous extension library
-
- dep: libxfixes3 (>= 1:4.0.1)
- X11 miscellaneous 'fixes' extension library
-
- dep: libxi6
- X11 Input extension library
-
- dep: libxinerama1
- X11 Xinerama extension library
-
- dep: libxrandr2 (>= 2:1.2.0)
- X11 RandR extension library
-
- dep: libxrender1
- X Rendering Extension client library