.. Prove-It documentation master file, created by
   sphinx-quickstart on Tue Jan 22 09:35:42 2019.
   You can adapt this file completely to your liking, but it should at least
   contain the root `toctree` directive.

Welcome to Prove-It's documentation!
====================================

.. automodapi:: proveit
   :no-inheritance-diagram:
.. automodapi:: proveit.core_expr_types
   :no-inheritance-diagram:
.. automodapi:: proveit.logic
   :no-inheritance-diagram:
.. automodapi:: proveit.numbers
   :no-inheritance-diagram:
.. automodapi:: proveit.physics
   :no-inheritance-diagram:

.. toctree::
   :maxdepth: 2
   :caption: Contents:



Indices and tables
==================

* :ref:`genindex`
* :ref:`modindex`
* :ref:`search`