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.7.1-alt1
Data da compilação: 21 outubro 2008, 21:44 ( 808.4 weeks ago )
Tamanho:: 1991.12 Kb
Home page: http://proofgeneral.inf.ed.ac.uk/
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: Ilya Mashkin
Lista dos contribuidores Lista dos rpms provida por esta srpm:
ACL:
Data da compilação: 21 outubro 2008, 21:44 ( 808.4 weeks ago )
Tamanho:: 1991.12 Kb
Home page: http://proofgeneral.inf.ed.ac.uk/
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