auto_equality_prover

proveit.auto_equality_prover(past_tense, present_tense)[source]