FileSize | 21750844 |
MD5 | 145CCE6E7993464F5F037AC47F1448ED |
PackageDescription | proof assistant for higher-order logic (theories)
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 existing theories that new proofs can be
based upon, including theories of arithmetic and Boolean values. |
PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
PackageName | coq-theories |
PackageSection | math |
PackageVersion | 8.14.0+dfsg-6 |
SHA-1 | 9D4259C2C9638DFA34ADCC49783A07B70803CE2B |
SHA-256 | 71BA91B1FECBCAFB9596441D453CE19A42966E97C7A35C523A79C666CAB86C56 |