sci-mathematics/coq
Proof assistant written in O'Caml
Screenshots
View
Download
BrowseRuntime Dependencies
coq-8.20.0
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-4:=[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-4:=[ocamlopt?
]
dev-ml/dune:=
coq-8.19.2
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-4:=[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-4:=[ocamlopt?
]
dev-ml/dune:=