FileSize | 2199796 |
MD5 | 94FBC3E75F34DA718340E2D685D69E1A |
PackageDescription | 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 Camlp5.
.
This package provides CoqIde, a graphical user interface for
developing proofs. |
PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
PackageName | coqide |
PackageSection | math |
PackageVersion | 8.14.0+dfsg-6 |
SHA-1 | 514AA43758647BAED5F0400ED8A8B990926BDCE2 |
SHA-256 | FFCE1357FD7F08893216AB30D2C65F4DCCA93D157BF37ECA904420E6EFA0AB30 |