unicode_fol_kit.check_sequent_proof¶ unicode_fol_kit.check_sequent_proof(derivation)[source]¶ Return True iff derivation is a valid sequent-calculus derivation (sound). Parameters: derivation (Derivation) Return type: bool