FileSize | 784708 |
MD5 | CF019C6A4FEA9BE7307C60702638C6EB |
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 | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
PackageName | coqide |
PackageSection | math |
PackageVersion | 8.4pl2dfsg-1 |
SHA-1 | A7F4385B4E5FB670F8B4341AF109A0CAD843DCB6 |
SHA-256 | 3C1EF788A9EAAC0B8F9D1C9BB03F60E1910571950BD41C74C24067E97C86533F |