GitHub repository: CyrilAnac/PG
Primary language: Emacs Lisp
Description: This repo is the new home of Proof General