Skip to main content

classify_proof

oxilean_kernel::proof::functions

Function classify_proof 

Source 
pub fn classify_proof(term: &Expr) -> ProofComplexity
Expand description

Classifies a proof term into a ProofComplexity variant.