Gentoo-Portage.com

Search Portage:
Login     Register     Language Tools

sci-mathematics/coq

Coq is a proof assistant written in O'Caml

Screenshots

  • coq-8.1_p3
    amd64 ppc sparc x86
    norealanalysis ide debug +ocamlopt
    View      Download      License: LGPL-2.1

Reverse Dependencies

Reverse dependancies are sometimes conditional based on your USE flags, Ebuild version and sometimes other packages. please keep this in mind.