checklist.day

proof-general

JSON →
cli 4.5 ·emacs-lisp
✓ install reviewed
productivity

Emacs-based generic interface for theorem provers, includes coqtags CLI. Available on Homebrew.

Resources

homepageproofgeneral.github.io ↗

API endpoints

full doc /v1/registry/proof-general
install /v1/registry/proof-general/install