rocq-elpi

Install command: 
brew install rocq-elpi

Elpi extension language for Rocq

https://github.com/LPCIC/coq-elpi

License: LGPL-2.1-or-later

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

Formula code: rocq-elpi.rb on GitHub

Bottle (binary package) installation support provided for:

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

Current versions:

stable ✅ 3.0.0

Depends on:

ocaml-findlib 1.9.8 OCaml library manager
rocq 9.0.0 Proof assistant for higher-order logic

Depends on when building from source:

dune 3.20.0 Composable build system for OCaml
ocaml 5.3.0 General purpose programming language in the ML family
opam 2.4.1 OCaml package manager
Rocq needs help finding ML files installed inside `$HOMEBREW_PREFIX/opt/rocq-elpi/libexec/lib`.
This can be done by passing `-I $HOMEBREW_PREFIX/opt/rocq-elpi/libexec/lib` as an argument.
Alternatively, you can add the directory to OCAMLPATH, e.g.
    export OCAMLPATH="$HOMEBREW_PREFIX/opt/rocq-elpi/libexec/lib:$OCAMLPATH"
or use the included findlib configuration file, e.g.
    export OCAMLFIND_CONF="$HOMEBREW_PREFIX/opt/rocq-elpi/libexec/lib/findlib.conf"

Analytics:

Installs (30 days)
rocq-elpi 40
Installs on Request (30 days)
rocq-elpi 40
Build Errors (30 days)
rocq-elpi 22
Installs (90 days)
rocq-elpi 67
Installs on Request (90 days)
rocq-elpi 67
Installs (365 days)
rocq-elpi 89
Installs on Request (365 days)
rocq-elpi 89