proofgeneral-coq 3.7-3 (amd64 binary) in ubuntu intrepid

 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. It works with either XEmacs or GNU Emacs.
 .
 This package provides the Proof General support for the Coq
 theorem prover which is available as another package. The
 package is however not required to just edit Coq files.

Details

Package version:
3.7-3
Source:
proofgeneral 3.7-3 source package in Ubuntu
Status:
Superseded
Component:
universe
Priority:
Optional

Downloadable files

  • proofgeneral-coq_3.7-3_all.deb (deleted)

Package relationships

Depends on:
Recommends: