rocq

cli 9.1.1 ·ocaml

✓ install reviewed

Proof assistant for higher-order logic with CLI tools. Available on Homebrew and apt.

Resources