Command-line tool

rocq

brew/rocq

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

Proof assistant for higher-order logic

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

Linux

brew install rocq

Related command-line tools

• rocq-elpi
  Elpi extension language for Rocq
• prover9
  Automated theorem prover for first-order and equational logic
• eprover
  Theorem prover for full first-order logic with equality
• sqlancer
  Detecting Logic Bugs in DBMS
• pulseview
  A logic analyzer GUI for sigrok
• souffle
  Logic Defined Static Analysis
• npush
  Logic game similar to Sokoban and Boulder Dash
• ECLiPSe Constraint Logic Programming System Version 7.0
  ECLiPSe Constraint Logic Programming System Version 7.0 (Windows package; no description in the winget index)…

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