unicode_fol_kit.is_valid_fitch¶ unicode_fol_kit.is_valid_fitch(formula, max_depth=8)[source]¶ Return True iff formula is provable from no premises (a found-theorem check). Parameters: formula (Node) max_depth (int) Return type: bool