app-emacs/
proofgeneral

A generic interface for proof assistants

http://proofgeneral.inf.ed.ac.uk/

Available Versions

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

Package Metadata

Changelog