Prove-It: A Proof Assistant for Organizing and Verifying General Mathematical Knowledge. - Wayne M. Witzel; Warren D. Craft; Robert D. Carr; Joaquín E. Madrid Larrañaga (CoRR, 2020)

Verifying Quantum Phase Estimation (QPE) using Prove-It. - Wayne M. Witzel; Warren D. Craft; Robert D. Carr; Deepak Kapur (CoRR, 2023)