sci-mathematics/
coq

Proof assistant written in O'Caml

http://coq.inria.fr/

Available Versions

Version amd64 x86 alpha arm arm64 hppa ia64 ppc ppc64 sparc
8.9.1-r2 : 0 T ~amd64 ~x86 alpha arm arm64 hppa ia64 ppc ppc64 sparc
8.9.1-r1 : 0 T ~amd64 ~x86 alpha arm arm64 hppa ia64 ~ppc ppc64 sparc
8.6.1-r1 : 0 amd64 x86 alpha arm arm64 hppa ia64 ppc ppc64 sparc

Package Metadata

Changelog