Proof General
Organise your proofs!
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.
This package provides Proof General support for Coq. (There is no other proof assistant that one could sensibly support.)
Information
LicenseUnknown
Versions4.4.1~pre170114-1.2 (landing)
4.4.1~pre170114-1.2 (crimson)
4.4.1~pre170114-1.2 (byzantium)
CategoryIDE