def totp(key, t, digits=6, step=30):
    return hotp(key, T(t, step), digits)
Use Prover9 to prove a theorem.
dataset/ETHPy150Open gavinwahl/django-u2f/django_u2f/oath.py/totp--crossover with--dataset/ETHPy150Open nltk/nltk/nltk/inference/prover9.py/Prover9._prove