coq
Proof assistant written in OCaml
Details
- Homepage:
- https://coq.inria.fr
- License:
- LGPL-2.1-only
- Maintainer:
- Leah Neukirchen
- Built at:
- 2024-03-24 18:42 - 2024-03-24 18:49
- Source files:
- https://github.com/coq/coq/archive/V8.19.1.tar.gz
- Installed size:
- 322.98 MiB - 498.80 MiB
- Popularity:
- 1 usage in 86 reports
- Depending on:
- glibc>=2.39_1
- gmp>=5.0.1_1
- libzstd>=1.0.0_1
- musl>=1.1.24_7
- ocaml-findlib