Coq/Rocq is a proof assistant written in O'Caml
Version | RDEPEND | DEPEND | BDEPEND | IDEPEND | PDEPEND |
---|---|---|---|---|---|
dev-lang/ocaml | |||||
dev-ml/camlzip | |||||
dev-ml/dune | |||||
dev-ml/findlib | |||||
dev-ml/lablgtk | |||||
dev-ml/lablgtk-sourceview | |||||
dev-ml/num | |||||
dev-ml/ounit2 | |||||
dev-ml/zarith | |||||
sci-mathematics/coq-stdlib |