auto_prover

proveit.auto_prover(func)[source]