app-emacs/proofgeneral – Gentoo Packages

Version	amd64	x86	alpha	arm	arm64	hppa	mips	ppc	ppc64	riscv	sparc
4.5 : 0 EAPI 8	amd64	x86	?alpha	?arm	?arm64	?hppa	?mips	ppc	?ppc64	?riscv	?sparc

Upstream
Bugs-To https://github.com/ProofGeneral/PG/issues/
Remote-Id https://github.com/ProofGeneral/PG
Full description
Proof General is a generic Emacs interface for proof assistants. The aim of the Proof General project is to provide a powerful, generic environment for using interactive proof assistants.
License
GPL-2+ GPL-2 GPL-3+ HPND CC-BY-SA-3.0
Maintainer(s)
Gentoo GNU Emacs project

Bugs-To	https://github.com/ProofGeneral/PG/issues/
Remote-Id	https://github.com/ProofGeneral/PG