FileSize | 21753928 |
MD5 | 71180509D79C17C7D4AF5ED5A0633B89 |
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 | DF8AA8153EAE8FC9C8B3A4DD85804D5062CD2EBB |
SHA-256 | 4FDDF7C852F4594737425DDA913822AC15317DAE7EDC2A213698D0E67A7231C4 |