proof-general
Emacs-based generic interface for theorem provers
https://proofgeneral.github.io
Current versions
4.4 | |
HEAD |
Revision: 1
proof-general requires the following formula to be installed:
texi2html | 5.0 | Convert TeXinfo files to HTML |
Recent formula history
ilovezfs | Use “squiggly” heredocs. | |
Eric Mertens | proof-general: revision for emacs | |
Mike McQuaid | Use hash rockets again. (#5177) | |
Zhiming Wang | proof-general 4.4 | |
Mike McQuaid | Use Ruby 1.9+ symbol hash keys in all formulae. (#4942) | |
Complete formula history at GitHub |
Formula code at GitHub