Skip to main content

This packages contains the Proof sphinx extension, which provides directives to typeset theorems, lemmas, proofs, etc.

Project description

This sphinx extension provides some directives to typeset theorems, properties, proofs, etc. You can see it in action in Jouets’ documentation.

What’s new?

See changelog.

Install

This module is compatible with python 3 only.

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

  • From sources:

  • From pip:

    pip install sphinxcontrib-proof
    
  • Quick and dirty Debian (and Ubuntu?) package

    This requires 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. You can build it using:

cd doc && make html

Project details


Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

sphinxcontrib-proof-1.4.0.tar.gz (93.3 kB view hashes)

Uploaded source

Built Distribution

sphinxcontrib_proof-1.4.0-py3-none-any.whl (17.9 kB view hashes)

Uploaded py3

Supported by

AWS AWS Cloud computing Datadog Datadog Monitoring Facebook / Instagram Facebook / Instagram PSF Sponsor Fastly Fastly CDN Google Google Object Storage and Download Analytics Huawei Huawei PSF Sponsor Microsoft Microsoft PSF Sponsor NVIDIA NVIDIA PSF Sponsor Pingdom Pingdom Monitoring Salesforce Salesforce PSF Sponsor Sentry Sentry Error logging StatusPage StatusPage Status page