Group :: Ciências/Matemática
RPM: ProofGeneral
Navegação
Principal Changelog Spec Patches Sources Download Gear Bugs e FR Repocop
A versão atual: 3.4-alt1
Data da compilação: 25 outubro 2002, 17:27 ( 1122.8 weeks ago )
Tamanho:: 748.27 Kb
Home page: http://www.proofgeneral.org/
Licença: LFCS, University of Edinburgh
Sumário: Emacs interface for Proof Assistants
Descrição:
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.
Mantenedor currente: Vitaly Lugovsky
Lista dos contribuidores Lista dos rpms provida por esta srpm:
ACL:
Data da compilação: 25 outubro 2002, 17:27 ( 1122.8 weeks ago )
Tamanho:: 748.27 Kb
Home page: http://www.proofgeneral.org/
Licença: LFCS, University of Edinburgh
Sumário: Emacs interface for Proof Assistants
Descrição:
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.
Lista dos contribuidores Lista dos rpms provida por esta srpm:
- ProofGeneral