Debian logoDebian Screenshots >

proofgeneral

generic frontend for proof assistants

generic frontend for proof assistants
from version 4.3~pre130510-1.1
generic frontend for proof assistants
from version 4.2~pre120605-2 -

Description

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

Homepage

http://proofgeneral.inf.ed.ac.uk


Upload more screenshots