FileSize | 21753936 |
MD5 | 6B38F97CCA8DFD5D0114CD481F8D91F4 |
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 | CA456915E30FC5B32E2600B79048CA9B9D4111C8 |
SHA-256 | 460C70DF98A9BA0B514822586D577436D2BEC3BCFCC41E2C7F98A1DCB6721630 |