Command-line tool

rocq-elpi

brew/rocq-elpi

Checked 25 Oct 2026, 21:09 UTC · Listing refreshed from Homebrew, winget, npm, Scoop and cargo; npm packages checked against OSV.dev

Elpi extension language for Rocq

Website Source

At a glance

Type

Command-line tool

Install on

macOS, Linux

Last checked

25 Oct 2026, 21:09 UTC

Install it

macOS

brew install rocq-elpi

Linux

brew install rocq-elpi

Related command-line tools

• rocq
  Proof assistant for higher-order logic
• lispkit
  Scheme framework for extension and scripting languages on macOS and iOS
• chibi-scheme
  Small footprint Scheme for use as a C Extension Language
• attribute-changer
  A Windows Explorer shell extension that allows users to easily change file and folder properties with a right-click.
• sloccount
  Count lines of code in many languages
• pygments
  Generic syntax highlighter
• mermaid-cli
  CLI for Mermaid library
• swig
  Generate scripting interfaces to C/C++ code c++ c bindings

Listing text is written by the maker; AptLynx lists tools and does not vouch for them. Find another tool · Browse by topic · For agents