Skip to main content

generate_equivalence_certificate

logicaffeine_verify::certificate

Function generate_equivalence_certificate 

Source 
pub fn generate_equivalence_certificate(
    a_desc: &str,
    b_desc: &str,
    is_equivalent: bool,
) -> ProofCertificate
Expand description

Generate a proof certificate for an equivalence result.