coq

Proof assistant written in OCaml

Details

Homepage:

https://coq.inria.fr

License:

LGPL-2.1-only

Maintainer:

Leah Neukirchen

Built at:

2024-07-17 21:46 - 2024-07-17 21:55

Installed size:

401.59 MiB - 588.78 MiB

Popularity:

No usages in 119 reports

Depending on:

• glibc>=2.39_{_1}
• gmp>=5.0.1_{_1}
• libzstd>=1.0.0_{_1}
• musl>=1.1.24_{_7}
• ocaml-findlib