proof-general

Emacs-based generic interface for theorem provers

Current versions:
4.4HEAD

Homepage:https://proofgeneral.github.io

Dependencies

proof-general requires the following formula to be installed:

Formula history

Mike McQuaidUse hash rockets again. (#5177)
Zhiming Wangproof-general 4.4
Mike McQuaidUse Ruby 1.9+ symbol hash keys in all formulae. (#4942)
Tej Chajedproof-general: update homepage (#4853)
Dominyk Tillerproof-general: use elisp shorthand
Tej Chajedproof-general: Support HEAD installation
Kabelo Moiloaproof-general 4.3pre150930 (devel)
Alex Dunnproof-general: fix dev version, lower req'd emacs
Alex Dunnproof-general: formula-specific dir in site-lisp
Nikolaus WittensteinAdd descriptions to all remaining homebrew packages
Show all revisions of this formula