rocq-dbg

Proof assistant written in OCaml (debug files)

---

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

---

Details

Homepage:

https://rocq-prover.org/

License:

LGPL-2.1-only

Maintainer:

Orphaned

Repository:

void-repo-debug

Built at:

2025-06-20 22:36

Installed size:

27.86 MiB

Popularity:

No usages in 119 reports

Depending on:

rocq-9.0.0_{_1}