coq
Proof assistant written in OCaml
Build for x86_64-musl, version 8.19.1_1. Builds for all architectures.
Details
- Homepage:
- https://coq.inria.fr
- License:
- LGPL-2.1-only
- Maintainer:
- Leah Neukirchen
- Built at:
- 2024-03-24 18:42
- Source files:
- https://github.com/coq/coq/archive/V8.19.1.tar.gz
- Installed size:
- 497.82 MiB
- Popularity:
- 1 usage in 83 reports
- Depending on:
- gmp>=5.0.1_1
- musl>=1.1.24_7
- ocaml-findlib