app-emacs/
proofgeneral

A generic interface for proof assistants

https://proofgeneral.github.io/

Available Versions

Version amd64 x86 alpha arm arm64 hppa ia64 ppc ppc64 sparc
4.4 : 0 ~amd64 ~x86 ?alpha ?arm ?arm64 ?hppa ?ia64 ~ppc ?ppc64 ?sparc
4.2 : 0 amd64 x86 ?alpha ?arm ?arm64 ?hppa ?ia64 ppc ?ppc64 ?sparc

Package Metadata

Changelog