coq

proof assistant based on a typed lambda calculus

WWW CVSWeb GITHub
  1. Package version
    coq-8.13.2p5
  2. Maintainer
    Yozo Toda

Coq is a formal proof management system. It provides a formal language to write
mathematical definitions, executable algorithms and theorems together with an
environment for semi-interactive development of machine-checked proofs.

  • x11/lablgtk3
  • math/ocaml-zarith
  • shells/bash
  • sysutils/findlib
  • lang/ocaml
  • devel/gmake

  • x11/lablgtk3
  • lang/ocaml