- Name: ProofGeneral
- Version: 3.4
- Release: alt1
- Epoch:
- Group: Sciences/Mathematics
- License: LFCS, University of Edinburgh
- Url: http://www.proofgeneral.org/
- Summary: Emacs interface for Proof Assistants
- Architecture: noarch
- Size: 764705
- Distribution: ALT Linux
- Vendor: ALT Linux Team
- Packager: Vitaly Lugovsky <vsl@altlinux.ru>
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.
- BuildArch:
- ExcludeArch:
- ExclusiveArch:
- Cookie: dbcompas.ihep.su 1035552462
- Buildhost: dbcompas.ihep.su