Elpi extension language for Rocq with CLI tools. Available on Homebrew and apt.
brew install rocq-elpi
No compatibility data collected yet for this library.
No known issues recorded.
No dependency data recorded yet.