ToDo List

This is simply to present a ToDo/wish list. If you would like to work on any of these items, let me know ([email protected]). Assistance will be greatly appreciated. These are not necessarily in order of priority (but maybe a little):

• Finish the tutorials! The main set of tutorials is less than halfway done. Furthermore, it would be great to have tutorials for the various packages.
• Bring the proofs/automation in the logic package to some sort of "completion" (additions/changes may be made, but currently this is a work-in-progress).
• Finish implementing ExpressionTensors. These are not functional in the current version of the code. The main tricky issue has to do with substituting an ExpressionTensor into a block of another ExpressionTensor in an expandable way. ExpressionTensors are used, for example, in quantum circuit representations. This is a matter of figuring out a good, clean way to defined alignments between an outer ExpressionTensor and sub-blocks.
• Redo the Quantum Phase Estimation proof. The old one is out-of-date, and a new one could show off automation and other efficiency.
• Write/publish a paper on the quantum phase estimation proof. There is currently a Sandia "SAND" report, , but no publication.
• Write/publish a paper on Prove-It itself.
• Write Python script to regenerate all proofs as a regression tester.
• Use Sphinx, or something like it, to generate documentation, integrated with proof notebooks. The idea is to generate html that allows you to explore the proof libraries, with dependency links, and documentation.
• Make a Prove-It website that will host the documentation / proofs. One can browse the library of proof (and peruse the documented code) before downloading anything.
• Publicity and support. We want Prove-It to grow!