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