sci-mathematics/coq
Proof assistant written in O'Caml
-
coq-8.16.1~amd64 ~x86doc gtk debug +ocamlopt
View
Download
Browse License: LGPL-2.1
Overlay: gentoo -
coq-8.16.0~amd64 ~x86doc gtk debug +ocamlopt
View
Download
Browse License: LGPL-2.1
Overlay: gentoo -
coq-8.15.2~amd64 ~x86doc gtk debug +ocamlopt
View
Download
Browse License: LGPL-2.1
Overlay: gentoo