Welcome, and thank you for considering contributing to Prove-It, a Python- and Jupiter Notebook-based theorem-proving assistant.
The Prove-It project is still under development and not quite ready for public contributions yet. The intent is to begin accepting public contributions to the project in the near future, which will allow contributors to help expand Prove-It's theory packages, broaden Prove-It's functionality, and benefit from Prove-It's adaptability to individual interests and needs.
In the meantime, potential contributors are gratefully acknowledged and encouraged to browse through the broader project documentation and source files, such as the draft of the introductory paper, a variety of tutorial notebooks, or the brief readme.md with information about downloading and installing Prove-It. Also feel encouraged to contact the primary developer, Wayne Witzel, at [email protected] with questions.