Icon

Proof General

Organise your proofs!

Badges

Respects Freedom


Install Now

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

License

Unknown

Versions

4.4.1~pre170114-1.2 (landing)

4.4.1~pre170114-1.2 (byzantium)

Category

IDE