Skip to main content
Help us improve Python packaging – donate today!

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

Project Description

sources pypi build coverage documentation license

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

Release history Release notifications

This version
History Node

1.0.1

History Node

1.0.0

History Node

0.1.1

History Node

0.1.0

Download files

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

Filename, size & hash SHA256 hash help File type Python version Upload date
sphinxcontrib_proof-1.0.1-py3-none-any.whl (6.9 kB) Copy SHA256 hash SHA256 Wheel py3 Jan 1, 2018
sphinxcontrib-proof-1.0.1.tar.gz (65.1 kB) Copy SHA256 hash SHA256 Source None Jan 1, 2018

Supported by

Elastic Elastic Search Pingdom Pingdom Monitoring Google Google BigQuery Sentry Sentry Error logging CloudAMQP CloudAMQP RabbitMQ AWS AWS Cloud computing Fastly Fastly CDN DigiCert DigiCert EV certificate StatusPage StatusPage Status page