/ProofGeneral

This repo is a fork of the Proof-General github repo. The `server-protocol' branch uses Coq's XML protocol, which support async processing

Primary LanguageEmacs LispGNU General Public License v3.0GPL-3.0

Watchers