unicode_fol_kit.check_proof

unicode_fol_kit.check_proof(proof, logic=None)

Return True iff proof is a valid Fitch derivation (sound).

A thin bool wrapper over verify_proof(); use that for the failing line and reason.

Parameters:

• proof (Proof)

• logic (str | None)

Return type:

bool