Gentoo Portage Overlays - sci-mathematics/coq

Newest News GLSAs Browse USE Flags Overlays More...

sci-mathematics/coq

Proof assistant written in O'Caml

Screenshots

http://coq.inria.fr/

coq-8.6

~amd64 ~ppc ~x86

gtk debug +ocamlopt doc camlp5

View

Download

Browse License: LGPL-2.1

Overlay: gentoo (distro)

coq-8.5_p3

~amd64 ~ppc ~x86

gtk debug +ocamlopt doc camlp5

View

Download

Browse License: LGPL-2.1

Overlay: gentoo (distro)

coq-8.5

amd64 ppc x86

gtk debug +ocamlopt doc camlp5

View

Download

Browse License: LGPL-2.1

Overlay: gentoo (distro)

ChangeLog USE Flags Dependencies Reverse Deps Related Bugs