← all formulas
proof-general
Emacs-based generic interface for theorem provers
- Version
- v4.5
- License
- GPL-3.0-or-later
- Tap
- homebrew/core
- Bottle
- available
- Revision
- —
bottledlicense declaredhomepageactivekeg-linked
Install
shell
$ brew install proof-generalCaveats
HTML documentation is available in: $HOMEBREW_PREFIX/share/doc/proof-general