[  etch  ] [  etch-m68k  ] [  lenny  ] [  experimental  ]
[ Källkod: coq  ]

Paket: coq-libs (8.1.pl3+dfsg-1)

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 Camlp4. For more information, see <http://coq.inria.fr/>.

This package provides existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values.

Andra paket besläktade med coq-libs

  • beror
  • rekommenderar
  • föreslår
  • dep: tex-common (>= 0.7)
    common infrastructure for building and installing TeX
  • rec: coq (>= 8.0)
    proof assistant for higher-order logic (toplevel and compiler)

Hämta coq-libs

Hämtningar för alla tillgängliga arkitekturer
Arkitektur Paketstorlek Installerad storlek Filer
all 12.296,8 kbyte37820 kbyte [filförteckning]