GitHub repository: psteckler/ProofGeneral
Primary language: Emacs Lisp
Description: This repo is a fork of the Proof-General github repo. The `server-protocol' branch uses Coq's XML protocol, which support async processing