FileSize | 23920460 |
MD5 | 7A484AE4C357467A934393463D5C28E1 |
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.12.0-3+b3 |
SHA-1 | 5BA5F84C9D588AB73BF2E3D15A6066E309388E33 |
SHA-256 | A30AC9DBF4A09E746884E6BD42C069A33708334D9DBF8A1DC14866F9C4706CFB |