ports

math/coq

coq-8.4pl6p2 – 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

None

Build dependencies

Run dependencies