generic frontend for proof assistants

generic frontend for proof assistants

proofgeneral

Free

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.)

License: Open Source
Version: 4.3~pre130510