# The math/coq port

## coq-7.3.1p0 – proof assistant based on a typed lambda calculus

## Description

    The Coq Proof Assistant is designed to write formal specifications, programs
    and to verify that programs are correct with respect to their specification.

WWW: http://coq.inria.fr/

Broken
  requires update due to ocaml 3.08
Categories:
  math

## Library dependencies

## Build dependencies

- STEM-=3.12.1:lang/ocaml
- STEM->=1.21:textproc/groff
- devel/gmake

## Run dependencies

- STEM-=3.12.1:lang/ocaml