proofgeneral-coq 3.5-4.1 (sparc binary) in ubuntu hardy
This package provides the Proof General support for the Coq
theorem prover which is available as another package. Though
it is not required to just edit Coq files.
.
Proof General is a generic interface for proof assistants,
currently based on the customizable text editor Emacs.
It works with either XEmacs or GNU Emacs. Proof General
has been developed at the LFCS in the University of Edinburgh.
Details
- Package version:
- 3.5-4.1
- Status:
- Superseded
- Component:
- universe
- Priority:
- Optional
Downloadable files
i386 build of proofgeneral 3.5-4.1 in ubuntu feisty RELEASE produced
these files:
- proofgeneral-coq_3.5-4.1_all.deb (43.6 KiB)