proof-general

Emacs-based generic interface for theorem provers
https://proofgeneral.github.io

Current versions
4.4
HEAD

Revision: 2

proof-general requires the following formulae to be installed:
texi2html 5.0 Convert TeXinfo files to HTML
emacs 25.3 GNU Emacs text editor

Recent formula history

ilovezfs proof-general: depend on emacs instead of :emacs
ilovezfs Use “squiggly” heredocs.
Eric Mertens proof-general: revision for emacs
Mike McQuaid Use hash rockets again. (#5177)
Zhiming Wang proof-general 4.4

Formula code at GitHub