######
Proofs
######

.. include:: 00-Introduction.rst
.. include:: 01-Equality.rst
.. include:: 02-Forall.rst
.. include:: 03-False.rst
.. include:: 04-True.rst
.. include:: 05-Conjunction.rst
.. include:: 06-Implication.rst
.. include:: 07-Bi-implication.rst
.. include:: 08-Disjunction.rst
.. include:: 09-Negation.rst
.. include:: 10-Exists.rst