[ Source: coq ]
Package: coq (8.9.0-1)
Links for coq
Debian Resources:
Download Source Package coq:
Maintainers:
- Debian OCaml Maintainers (QA Page, Mail Archive)
- Benjamin Barenblat (QA Page)
- Ralf Treinen (QA Page)
- Samuel Mimram (QA Page)
- Stéphane Glondu (QA Page)
- Enrico Tassi (QA Page)
External Resources:
- Homepage [coq.inria.fr]
Similar packages:
Bevisassistent for højere ordens logik - topniveau og kompiler
Coq er en bevisassistent for højere ordens logik, som tillader udviklingen af computerprogrammer som overholder deres formelle specifikationer. Det udvikles med brug af Objective Caml og Camlp5.
Denne pakke tilbyder coqtop, en kommandolinjegrænseflade til Coq.
Pakken proofgeneral gør at beviser kan redigeres via Emacs og XEmacs.
Other Packages Related to coq
|
|
|
|
-
- dep: coq-theories (= 8.9.0-1)
- Bevisassistent for højere ordens logik - teorier
-
- dep: libc6 (>= 2.28)
- GNU C-bibliotek: Delte biblioteker
also a virtual package provided by libc6-udeb
-
- dep: libcoq-ocaml-m8xw4
- virtual package provided by libcoq-ocaml
-
- dep: ocaml-base-nox-4.05.0
- virtual package provided by ocaml-base-nox
-
- dep: ocaml-findlib
- Håndteringsværktøj for OCaml-biblioteker
-
- dep: ocaml-nox
- ML implementering med et klasse-baseret object system (ingen X)
-
- dep: python3
- Interaktivt objektorienteret højniveausprog - standardversion af python3
-
- sug: coq-doc
- Package not available
-
- sug: ledit
- linjeredigeringsprogram for interaktive programmer
- or readline-editor
- virtual package provided by ledit, rlfe, rlwrap
-
- sug: libcoq-ocaml-dev
- Udviklingsbiblioteker og værktøjer for Coq
-
- sug: proofgeneral
- Package not available
-
- sug: why (>= 2.19)
- Package not available
Download coq
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| amd64 | 57,608.0 kB | 233,951.0 kB | [list of files] |