rocq-dbg

Proof assistant written in OCaml (debug files)

Details

Homepage:

https://rocq-prover.org/

License:

LGPL-2.1-only

Maintainer:

Orphaned

Repository:

void-repo-debug

Built at:

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

Installed size:

27.86 MiB - 36.15 MiB

Popularity:

No usages in 119 reports

Depending on:

rocq-9.0.0_{_1}