app-emacs/proofgeneral – Gentoo Packages

Packages

Get Gentoo!

Available Versions

Version	amd64	x86	alpha	arm	arm64	hppa	ia64	ppc	ppc64	riscv	sparc
4.5 : 0	amd64	x86	alpha	arm	arm64	hppa	ia64	ppc	ppc64	riscv	sparc
4.5_pre20220228 : 0	amd64	x86	alpha	arm	arm64	hppa	ia64	ppc	ppc64	riscv	sparc
4.4 : 0	amd64	x86	alpha	arm	arm64	hppa	ia64	ppc	ppc64	riscv	sparc

Package Metadata

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

External Resources

CI Report (verbose)

Repology

Open Pull Requests

Git repository browser

Git log (short)