[ Bron: coq ]
Pakket: coq (8.9.0-1)
Verwijzigingen voor coq
Debian bronnen:
Het bronpakket coq downloaden:
Beheerders:
- Debian OCaml Maintainers (QA-pagina, Mailarchief)
- Benjamin Barenblat (QA-pagina)
- Ralf Treinen (QA-pagina)
- Samuel Mimram (QA-pagina)
- Stéphane Glondu (QA-pagina)
- Enrico Tassi (QA-pagina)
Externe bronnen:
- Homepage [coq.inria.fr]
Vergelijkbare pakketten:
proof assistant for higher-order logic (toplevel and compiler)
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 Camlp5.
This package provides coqtop, a command line interface to Coq.
The proofgeneral package allows proofs to be edited using Emacs and XEmacs.
Andere aan coq gerelateerde pakketten
|
|
|
|
-
- dep: coq-theories (= 8.9.0-1)
- proof assistant for higher-order logic (theories)
-
- dep: libc6 (>= 2.28)
- GNU C Bibliotheek: Gedeelde bibliotheken
Ook een virtueel pakket geboden door: libc6-udeb
-
- dep: libcoq-ocaml-35sv0
- virtueel pakket geboden door libcoq-ocaml
-
- dep: ocaml-base-nox-4.05.0
- virtueel pakket geboden door ocaml-base-nox
-
- dep: ocaml-findlib
- management tool for OCaml libraries
-
- dep: ocaml-nox
- ML implementation with a class-based object system (no X)
-
- dep: python3
- interactive high-level object-oriented language (default python3 version)
-
- sug: coq-doc
- Pakket niet beschikbaar
-
- sug: ledit
- line editor for interactive programs
- of readline-editor
- virtueel pakket geboden door ledit, rlfe, rlwrap
-
- sug: libcoq-ocaml-dev
- development libraries and tools for Coq
-
- sug: proofgeneral
- Pakket niet beschikbaar
-
- sug: why (>= 2.19)
- Pakket niet beschikbaar