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


Leave a comment:

Please login to leave a comment