Các kho mã nguồn mở đang theo dõi của ProofGeneral, sắp xếp theo số sao.
Kho lưu trữ này là ngôi nhà mới của Proof General
