ap.proof.certificates
Class for converting a given certificate to a DAG, by factoring out shared sub-certificates.
Class for converting a given certificate to a DAG, by factoring out shared sub-certificates.