checklist.day

rocq-elpi

JSON →
cli 3.4.0 ·ocaml
✓ install reviewed
devops

Elpi extension language for Rocq with CLI tools. Available on Homebrew and apt.

Resources

homepagegithub.com/LPCIC/coq-elpi ↗

API endpoints

full doc /v1/registry/rocq-elpi
install /v1/registry/rocq-elpi/install