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
Runtime Dependencies
coq-9.1.0-r1
dev-ml/camlzip:=
dev-ml/num:=
dev-ml/yojson:=
dev-ml/zarith:=
gui?
( >=dev-ml/lablgtk-3.1.2:3=[sourceview,ocamlopt?
] >=dev-ml/lablgtk-sourceview-3.1.2:3=[ocamlopt?
] )
native-compiler?
( <dev-lang/ocaml-5:= )
dev-lang/ocaml:=[ocamlopt?
]
dev-ml/dune:=
dev-ml/num:=
dev-ml/yojson:=
dev-ml/zarith:=
gui?
( >=dev-ml/lablgtk-3.1.2:3=[sourceview,ocamlopt?
] >=dev-ml/lablgtk-sourceview-3.1.2:3=[ocamlopt?
] )
native-compiler?
( <dev-lang/ocaml-5:= )
dev-lang/ocaml:=[ocamlopt?
]
dev-ml/dune:=
coq-9.0.0
dev-ml/camlzip:=
dev-ml/num:=
dev-ml/zarith:=
gui?
( >=dev-ml/lablgtk-3.1.2:3=[sourceview,ocamlopt?
] >=dev-ml/lablgtk-sourceview-3.1.2:3=[ocamlopt?
] )
native-compiler?
( <dev-lang/ocaml-5:= )
dev-lang/ocaml:=[ocamlopt?
]
dev-ml/dune:=
dev-ml/num:=
dev-ml/zarith:=
gui?
( >=dev-ml/lablgtk-3.1.2:3=[sourceview,ocamlopt?
] >=dev-ml/lablgtk-sourceview-3.1.2:3=[ocamlopt?
] )
native-compiler?
( <dev-lang/ocaml-5:= )
dev-lang/ocaml:=[ocamlopt?
]
dev-ml/dune:=
coq-8.20.0-r1
dev-ml/num:=
dev-ml/zarith:=
gui?
( >=dev-ml/lablgtk-3.1.2:3=[sourceview,ocamlopt?
] >=dev-ml/lablgtk-sourceview-3.1.2:3=[ocamlopt?
] )
dev-lang/ocaml:=[ocamlopt?
]
dev-ml/dune:=
dev-ml/zarith:=
gui?
( >=dev-ml/lablgtk-3.1.2:3=[sourceview,ocamlopt?
] >=dev-ml/lablgtk-sourceview-3.1.2:3=[ocamlopt?
] )
dev-lang/ocaml:=[ocamlopt?
]
dev-ml/dune:=
coq-8.19.2-r1
dev-ml/num:=
dev-ml/zarith:=
gui?
( >=dev-ml/lablgtk-3.1.2:3=[sourceview,ocamlopt?
] >=dev-ml/lablgtk-sourceview-3.1.2:3=[ocamlopt?
] )
dev-lang/ocaml:=[ocamlopt?
]
dev-ml/dune:=
dev-ml/zarith:=
gui?
( >=dev-ml/lablgtk-3.1.2:3=[sourceview,ocamlopt?
] >=dev-ml/lablgtk-sourceview-3.1.2:3=[ocamlopt?
] )
dev-lang/ocaml:=[ocamlopt?
]
dev-ml/dune:=
coq-8.17.1-r1
dev-ml/num:=
dev-ml/zarith:=
gui?
( >=dev-ml/lablgtk-3.1.2:3=[sourceview,ocamlopt?
] >=dev-ml/lablgtk-sourceview-3.1.2:3=[ocamlopt?
] )
dev-lang/ocaml:=[ocamlopt?
]
dev-ml/dune:=
dev-ml/zarith:=
gui?
( >=dev-ml/lablgtk-3.1.2:3=[sourceview,ocamlopt?
] >=dev-ml/lablgtk-sourceview-3.1.2:3=[ocamlopt?
] )
dev-lang/ocaml:=[ocamlopt?
]
dev-ml/dune:=