Skip to content

Latest commit

 

History

History
43 lines (26 loc) · 1.29 KB

README.rst

File metadata and controls

43 lines (26 loc) · 1.29 KB

sphinxcontrib-proof ∎ Typeset theorems, proofs, properties…

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