auto_relation_prover

proveit.auto_relation_prover(func)[source]