FileSize | 4649936 |
MD5 | 5DAE6EC59B98AC32E3228E9E5087B091 |
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 Camlp4.
For more information, see <http://coq.inria.fr/>.
.
This package provides CoqIde, a graphical user interface for
developing proofs. |
PackageMaintainer | Ubuntu MOTU Developers <ubuntu-motu@lists.ubuntu.com> |
PackageName | coqide |
PackageSection | math |
PackageVersion | 8.1+dfsg-6 |
SHA-1 | EDF7C6E2801DD483BB3C0245070508D1458E94C5 |
SHA-256 | 95FB0FB13F5E3AB47DFD011969C30899CA79816A58581383D452DA2BAB240D92 |