npm

rocq-elpi

Elpi extension language for the Rocq proof assistant

brewmacoslinux
Try with needOr install directly
Source

About

Elpi extension language for Rocq

Commands

rocqelpi

Examples

Start an interactive Rocq session with Elpi support$ rocq
Load and execute an Elpi program within Rocq$ rocq -I +elpi my_program.v
Check syntax of a Rocq file using Elpi extensions$ rocqc -I +elpi my_tactics.v