proofgeneral 4.3~pre130510-1 (powerpc binary) in ubuntu trusty

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

Details

Package version:
4.3~pre130510-1
Source:
proofgeneral 4.3~pre130510-1 source package in Ubuntu
Status:
Superseded
Component:
universe
Priority:
Optional