rocq

Proof assistant written in OCaml

Details

Homepage:

https://rocq-prover.org/

License:

LGPL-2.1-only

Maintainer:

Orphaned

Built at:

2025-06-20 22:29 - 2025-06-20 22:36

Installed size:

393.11 MiB - 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 119 reports

Depending on:

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