Metadata-Version: 2.1
Name: sphinxcontrib-proof
Version: 1.5.0
Summary: This packages contains the Proof sphinx extension, which provides directives to typeset theorems, lemmas, proofs, etc.
Home-page: https://framagit.org/spalax/sphinxcontrib-proof
Author: Louis Paternault
Author-email: spalax@gresille.org
License: AGPLv3 or any later version
Project-URL: Documentation, http://sphinxcontrib-proof.readthedocs.io
Project-URL: Source, https://framagit.org/spalax/sphinxcontrib-proof
Project-URL: Tracker, https://framagit.org/spalax/sphinxcontrib-proof/issues
Keywords: sphinx math proof theorem
Classifier: Development Status :: 5 - Production/Stable
Classifier: Framework :: Sphinx :: Extension
Classifier: Intended Audience :: Developers
Classifier: License :: OSI Approved :: GNU Affero General Public License v3 or later (AGPLv3+)
Classifier: Operating System :: Unix
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.7
Classifier: Programming Language :: Python :: 3.8
Classifier: Programming Language :: Python :: 3.9
Classifier: Programming Language :: Python :: 3.10
Classifier: Programming Language :: Python :: 3.11
Classifier: Topic :: Documentation :: Sphinx
Classifier: Topic :: Scientific/Engineering :: Mathematics
Classifier: Topic :: Software Development :: Libraries :: Python Modules
Requires-Python: <4,>=3.7
Description-Content-Type: text/x-rst
License-File: LICENSE
License-File: AUTHORS

`sphinxcontrib-proof` ∎ Typeset theorems, proofs, properties…
=============================================================

This `sphinx <http://sphinx.pocoo.org/>`__ extension provides some directives
to typeset theorems, properties, proofs, etc. You can see it in action in
`Jouets' documentation <http://jouets.readthedocs.io/fr/latest/dobble/math/>`_.

What's new?
-----------

See `changelog <https://git.framasoft.org/spalax/sphinxcontrib-proof/blob/main/CHANGELOG.md>`_.

Install
-------

This module is compatible with python 3 only.

See the end of list for a (quick and dirty) Debian package.

* From sources:

  * Download: https://pypi.python.org/pypi/sphinxcontrib-proof
  * Install (in a `virtualenv`, if you do not want to mess with your distribution installation system)::

      python3 setup.py install

* From pip::

    pip install sphinxcontrib-proof

* Quick and dirty Debian (and Ubuntu?) package

  This requires `stdeb <https://github.com/astraw/stdeb>`_ to be installed::

      python3 setup.py --command-packages=stdeb.command bdist_deb
      sudo dpkg -i deb_dist/python3-sphinxcontrib-proof-<VERSION>_all.deb

Documentation
-------------

The documentation is available on `readthedocs <http://sphinxcontrib-proof.readthedocs.io>`_.  You can build it using::

  cd doc && make html
