Pinned Loading
Repositories
Showing 4 of 4 repositories
- PG Public Forked from ProofGeneral/PG
This is a fork of PG that has support for Abella. Please follow the 'abella' branch.
abella-prover/PG’s past year of commit activity