ap.proof.certificates
Convert a formula/conjunction in internal representation to the certificate formula datastructures
Total ordering of CertFormula objects.
CertFormula