Prove-It: A Proof Assistant for Organizing and Verifying General Mathematical Knowledge

Wayne M. Witzel, Warren D. Craft, Robert D. Carr +1

We introduce Prove-It, a Python-based general-purpose interactive theorem-proving assistant designed with the goal of making formal theorem proving as easy and natural as informal…