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

Bottle JSON API: /api/bottle/coq.json

Formula code: coq.rb on GitHub

Bottle (binary package) installation support provided for:

Intel monterey
big sur
catalina
64-bit linux
Apple Silicon monterey
big sur

Current versions:

stable 8.15.2
head ⚡️ HEAD

Depends on:

gmp 6.2.1 GNU multiple precision arithmetic library
ocaml 4.12.0 General purpose programming language in the ML family
ocaml-zarith 1.12 OCaml library for arbitrary-precision arithmetic

Depends on when building from source:

dune 3.3.1 Composable build system for OCaml
ocaml-findlib 1.9.1 OCaml library manager

Analytics (macOS):

Installs (30 days)
coq 286
Installs on Request (30 days)
coq 268
Build Errors (30 days)
coq 15
Installs (90 days)
coq 633
Installs on Request (90 days)
coq 602
Installs (365 days)
coq 3,460
Installs on Request (365 days)
coq 3,326

Analytics (Linux):

Installs (30 days)
coq 0
Installs on Request (30 days)
coq 0
Build Errors (30 days)
coq 0
Installs (90 days)
coq 1
Installs on Request (90 days)
coq 1
Installs (365 days)
coq 27
Installs on Request (365 days)
coq 26
Fork me on GitHub