unicode_fol_kit.check_lj_proof¶ unicode_fol_kit.check_lj_proof(derivation)[source]¶ Return True iff derivation is a valid intuitionistic LJ derivation (sound). Parameters: derivation (Derivation) Return type: bool