Erfasste Open-Source-Repos von ProofGeneral, sortiert nach Sternen.
Dieses Repository ist das neue Zuhause von Proof General
