unicode_fol_kit.check_ill_proof¶ unicode_fol_kit.check_ill_proof(derivation)[source]¶ Return True iff derivation is a valid cut-free ILL derivation (sound). Parameters: derivation (ILLDerivation) Return type: bool