unicode_fol_kit.check_lambek_proof¶ unicode_fol_kit.check_lambek_proof(derivation)[source]¶ Return True iff derivation is a valid cut-free L derivation (sound). Parameters: derivation (LambekDerivation) Return type: bool