Best 2 Proof General Open Source Projects

ProofGeneral PG

This repo is the new home of Proof General

Company Coq

A Coq IDE build on top of Proof General's Coq mode