coq

Install command:
brew install coq

Proof assistant for higher-order logic

https://coq.inria.fr/

License: LGPL-2.1-only

Formula JSON API: /api/formula/coq.json

Formula code: coq.rb on GitHub

Bottle (binary package) installation support provided for:

Apple Silicon sonoma
ventura
monterey
Intel sonoma
ventura
monterey
64-bit linux

Current versions:

stable 8.19.2
head ⚡️ HEAD

Depends on:

gmp 6.3.0 GNU multiple precision arithmetic library
ocaml 5.2.0 General purpose programming language in the ML family
ocaml-findlib 1.9.6 OCaml library manager
ocaml-zarith 1.13 OCaml library for arbitrary-precision arithmetic

Depends on when building from source:

dune 3.15.3 Composable build system for OCaml

Analytics:

Installs (30 days)
coq 368
Installs on Request (30 days)
coq 358
Build Errors (30 days)
coq 17
Installs (90 days)
coq 723
Installs on Request (90 days)
coq 701
Installs (365 days)
coq 2,377
coq --HEAD 5
Installs on Request (365 days)
coq 2,272
coq --HEAD 5
Fork me on GitHub