| A generic Emacs interface for proof assistants | |
| https://proofgeneral.github.io/ | |
| proofgeneral-20240429.1411 | |
| download~amd64 ~x86 | melpa |
| proofgeneral-4.5 | |
| download~amd64 ~x86 | nongnu-elpa |
| proofgeneral-4.5 | |
| download~amd64 ~x86 | melpa-stable |
| proofgeneral-4.5 | GPL-2+ GPL-2 GPL-3+ HPND CC-BY-SA-3.0 |
| downloadamd64 ppc x86 | gentoo |