|
|
|
Linux temps réel embarqué et outils de développements
|
Technique |
|
|
coqide
| coqide | proof assistant for higher-order logic (gtk interface) | | Priority | |
| Section | math |
| Installed size | 12100 |
| Maintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| Architecture | i386 |
| Version | 8.0pl3-2 |
| Depends | libatk1.0-0 (>= 1.9.0), libc6 (>= 2.3.5-1), libcairo2 (>= 1.0.2-2), libfontconfig1 (>= 2.3.0), libglib2.0-0 (>= 2.8.5), libgtk2.0-0 (>= 2.8.0), libncurses5 (>= 5.4-5), libpango1.0-0 (>= 1.10.3), libx11-6, libxcursor1 (>> 1.1.2), libxext6, libxi6, libxinerama1, libxrandr2, libxrender1 (>= 1 |
| Suggests | ocaml-nox (>= 3.08), proofgeneral-coq, ledit, cle |
| File name | pool/main/c/coq/coqide_8.0pl3-2_i386.deb |
| Description | 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. |
|
|
|
Etude RTOS