ProofGeneralproof-general Active


Description

A generic Emacs interface for proof assistants.

Extracted automatically from ProofGeneral homepage
Open new issue
Homepage
https://proofgeneral.github.io
Version
4.4
Source file
source file
Hits
215

Install ProofGeneral

brew install proof-general

Dependencies 1

The following dependency will be installed if you install ProofGeneral:

Emacs.