Group :: Sciences/Mathematics
RPM: ProofGeneral
Navigation
Main Changelog Spec Patches Sources Download Gear Bugs and FR Repocop
Current version: 3.7.1-alt1
Build date: 22 october 2008, 01:44 ( 808.4 weeks ago )
Size: 1991.12 Kb
Home page: http://proofgeneral.inf.ed.ac.uk/
License: LFCS, University of Edinburgh
Summary: Emacs interface for Proof Assistants
Description:
Proof General is a generic Emacs interface for proof assistants,
suitable for use by pacifists and Emacs militants alike.
It is supplied ready-customized for LEGO, Coq, and Isabelle.
Current maintainer: Ilya Mashkin
List of contributors List of rpms provided by this srpm:
ACL:
Build date: 22 october 2008, 01:44 ( 808.4 weeks ago )
Size: 1991.12 Kb
Home page: http://proofgeneral.inf.ed.ac.uk/
License: LFCS, University of Edinburgh
Summary: Emacs interface for Proof Assistants
Description:
Proof General is a generic Emacs interface for proof assistants,
suitable for use by pacifists and Emacs militants alike.
It is supplied ready-customized for LEGO, Coq, and Isabelle.
List of contributors List of rpms provided by this srpm:
- ProofGeneral