FileSize | 59502048 |
MD5 | C1B4FD0DD8C9A353C1E8B9C03411B7E5 |
PackageDescription | 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. |
PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
PackageName | coq |
PackageSection | math |
PackageVersion | 8.9.1-1 |
SHA-1 | 6CCEC30FB7AC805459B15BC5860C77DC6901B120 |
SHA-256 | D57E890C2712DDDCE19080FDCB704C920E559E9AACB75C194885D39A91ADB647 |