coq-dbg
Proof assistant written in OCaml (debug files)
Details
- Homepage:
- https://coq.inria.fr
- License:
- LGPL-2.1-only
- Maintainer:
- Leah Neukirchen
- Repository:
- void-repo-debug
- Built at:
- 2024-03-24 18:42 - 2024-03-24 18:49
- Installed size:
- 1.74 MiB - 42.97 MiB
- Popularity:
- No usages in 91 reports
- Depending on:
- coq-8.19.1_1