rocq

Install command: 
brew install rocq

Formerly known as: coq

Proof assistant for higher-order logic

https://rocq-prover.org/

License: LGPL-2.1-only

Development: Pull requests

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

Formula code: rocq.rb on GitHub

Bottle (binary package) installation support provided for:

macOS on
Apple Silicon		 tahoe ✅
sequoia ✅
sonoma ✅
macOS on
Intel		 sonoma ✅
Linux ARM64 ✅
x86_64 ✅

Current versions:

stable ✅ 9.1.1
head ⚡️ HEAD

Revision: 1

Depends on:

gmp 6.3.0 GNU multiple precision arithmetic library
ocaml 5.4.1 General purpose programming language in the ML family
ocaml-findlib 1.9.8 OCaml library manager
ocaml-zarith 1.14 OCaml library for arbitrary-precision arithmetic

Depends on when building from source:

dune 3.24.0 Composable build system for OCaml

Analytics:

Installs (30 days)
rocq 114
Installs on Request (30 days)
rocq 97
Build Errors (30 days)
rocq 15
Installs (90 days)
rocq 319
Installs on Request (90 days)
rocq 287
Installs (365 days)
rocq 1,676
Installs on Request (365 days)
rocq 1,544