gnu-emacs@gentoo.org Gentoo GNU Emacs project 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. https://github.com/ProofGeneral/PG/issues/ ProofGeneral/PG