Prove-It

Prove-It is a tool for proving and organizing general mathematical theorems using Python.  Prove-It uses a flexible framework and a clear, concise presentation that appear like formulas one would present to colleagues on a chalkboard.  Prove-It can avoid paradoxes by simply disallowing cycles in operator-operand relationships; this ensures that consistent types could be assigned but need not be assigned explicitly.  Quantum algorithm verification is a particular target application.