proof-general
Formula Utilities v4.5
Emacs-based generic interface for theorem provers
Install 1
App in
Terminal
$
brew install 'proof-general'
Dependencies
Build Dependencies
Installation Notes
HTML documentation is available in: $HOMEBREW_PREFIX/share/doc/proof-general
Install Statistics 0.0% vs 90d
Install activity across time periods
| Metric | 30 Days | 90 Days | 1 Year |
|---|---|---|---|
| Total Installs | 4 | 12 | 88 |
| Avg Daily Installs | 0 | 0 | 0 |