Package: coq-theories
Source: coq
Version: 8.3.pl2+dfsg-1~bpo60+1
Architecture: all
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size: 138064
Depends: coq-8.3pl2+3.11.2
Recommends: coq (>= 8.0)
Breaks: coq-doc (<= 8.0pl1.0-2), coq-libs (<< 8.2.pl1)
Replaces: coq-libs (<< 8.2.pl1)
Homepage: http://coq.inria.fr/
Priority: optional
Section: math
Filename: pool/main/c/coq/coq-theories_8.3.pl2+dfsg-1~bpo60+1_all.deb
Size: 53100280
SHA256: 0aaadedd17afaee0ce9fb75ad4ec4a7fbbc814dc2f7beb9b5926de5b311223a0
SHA1: abb3c0cb4acfa888f05cdb98e1beeed886ae6308
MD5sum: 3810d570de9d7f823a4c4eb4d28822d7
Description: 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.