packages
[ Källkod: coq ]
Paket: coq (8.3.pl4+dfsg-1) [universe]
Länkar för coq
Ubunturesurser:
Hämta källkodspaketet coq:
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)
- Ralf Treinen
- Samuel Mimram
- Stéphane Glondu
It should generally not be necessary for users to contact the original maintainer.
Externa resurser:
- Hemsida [coq.inria.fr]
Liknande paket:
proof assistant for higher-order logic (toplevel and compiler)
Andra paket besläktade med coq
|
|
|
-
- dep: coq-theories (= 8.3.pl4+dfsg-1)
- proof assistant for higher-order logic (theories)
-
- dep: emacsen-common
- Common facilities for all emacsen
-
- dep: libc6 (>= 2.14) [amd64]
- Embedded GNU C Library: Shared libraries
också ett virtuellt paket som tillhandahålls av libc6-udeb
- dep: libc6 (>= 2.7) [i386]
-
- dep: libcoq-ocaml-k3dy8 [amd64]
- virtuellt paket som tillhandahålls av libcoq-ocaml
-
- dep: libcoq-ocaml-t7w14 [i386]
- virtuellt paket som tillhandahålls av libcoq-ocaml
-
- dep: ocaml-base-nox-3.12.1
- virtuellt paket som tillhandahålls av ocaml-base-nox
-
- rec: coqide
- proof assistant for higher-order logic (gtk interface)
- eller proofgeneral
- generic interface for proof assistants - common package
-
- sug: coq-doc
- documentation for Coq
-
- sug: ledit
- line editor for interactive programs
- eller readline-editor
- virtuellt paket som tillhandahålls av ledit, rlfe, rlwrap
-
- sug: libcoq-ocaml-dev
- development libraries and tools for Coq
-
- sug: ocaml-nox
- ML implementation with a class-based object system (no X)
-
- sug: proofgeneral
- generic interface for proof assistants - common package
-
- sug: why (>= 2.19)
- Software verification tool
Hämta coq
| Arkitektur | Paketstorlek | Installerad storlek | Filer |
|---|---|---|---|
| amd64 | 5.432,8 kbyte | 18.229,0 kbyte | [filförteckning] |
| i386 | 4.847,2 kbyte | 14.875,0 kbyte | [filförteckning] |