ProofGeneralproof-general


Description

A generic Emacs interface for proof assistants.

Extracted automatically from ProofGeneral homepage
Homepage
https://proofgeneral.github.io
Version
4.3pre150930

Install ProofGeneral

brew install proof-general

Dependencies1

The following dependency will be installed if you install ProofGeneral: