Coq/Rocq is a proof assistant written in O'Caml
Screenshots
-
coq-9.0.0
~amd64 ~arm64
debug gui native-compiler +ocamlopt test
View 
Download 
Browse License: LGPL-2.1
-
coq-8.20.0-r1
amd64 ~arm64 ~x86
debug doc gui +ocamlopt test
View Download Browse License: LGPL-2.1
-
coq-8.19.2-r1
amd64 ~arm64 ~x86
debug doc gui +ocamlopt test
View Download Browse License: LGPL-2.1
-
coq-8.17.1-r1
~amd64 ~arm64 ~x86
debug doc gui +ocamlopt test
View Download Browse 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.
