sci-mathematics/coq
Coq/Rocq is a proof assistant written in O'Caml
Screenshots
-
coq-9.1.0-r1~amd64 ~arm64debug gui native-compiler +ocamlopt test
View 
Download 
Browse License: LGPL-2.1 Overlay: gentoo -
coq-9.0.0~amd64 ~arm64debug gui native-compiler +ocamlopt test
View Download Browse License: LGPL-2.1 Overlay: gentoo -
coq-8.20.0-r1amd64 ~arm64 ~x86debug doc gui +ocamlopt test
View Download Browse License: LGPL-2.1 Overlay: gentoo
Reverse Dependencies
Reverse dependancies are sometimes conditional based on your USE flags, Ebuild version and sometimes other packages. please keep this in mind.