Emacs-based generic interface for theorem provers, includes coqtags CLI. Available on Homebrew.
brew install proof-general
No compatibility data collected yet for this library.
No known issues recorded.
No dependency data recorded yet.