OpenBSD ports

The math/coq port

coq-8.13.2p6 – proof assistant based on a typed lambda calculus

Description

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.

WWW: https://coq.inria.fr/
Categories:
math

Library dependencies

Build dependencies

Run dependencies