ProofGeneral's tracked open-source repos, sorted by stars.
This repo is the new home of Proof General
