proof-general 4.4 Generic front-end for proof assistants based on Emacs
Proof General is a major mode to turn Emacs into an interactive proof assistant to write formal mathematical proofs using a variety of theorem provers.
- Website: https://proofgeneral.github.io/
- License: GPL 2+
- Package source: coq.scm
- Patches: None
- Builds: x86_64-linux, i686-linux