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