rocq from Void

rocq

Proof assistant written in OCaml

Build for x86_64-glibc, version 9.0.0_{_1}. Builds for all architectures.

Details

Homepage:

https://rocq-prover.org/

License:

LGPL-2.1-only

Maintainer:

Orphaned

Built at:

2025-06-20 22:29

Installed size:

393.53 MiB

Provides:

cmd:coq-tex-9.0.0_{_1}
cmd:coq_makefile-9.0.0_{_1}
cmd:coqc-9.0.0_{_1}
cmd:coqchk-9.0.0_{_1}
cmd:coqdep-9.0.0_{_1}
cmd:coqdoc-9.0.0_{_1}
cmd:coqidetop-9.0.0_{_1}
cmd:coqnative-9.0.0_{_1}
cmd:coqpp-9.0.0_{_1}
cmd:coqtimelog2html-9.0.0_{_1}
cmd:coqtop-9.0.0_{_1}
cmd:coqtop.byte-9.0.0_{_1}
cmd:coqwc-9.0.0_{_1}
cmd:coqworkmgr-9.0.0_{_1}
cmd:csdpcert-9.0.0_{_1}
cmd:ocamllibdep-9.0.0_{_1}
cmd:rocq-9.0.0_{_1}
cmd:rocq.byte-9.0.0_{_1}
cmd:rocqchk-9.0.0_{_1}
cmd:votour-9.0.0_{_1}

Popularity:

No usages in 114 reports

Depending on:

glibc>=2.41_{_1}
gmp>=5.0.1_{_1}
ocaml-findlib