Skip to main content

A Sphinx extension for producing proofs, theorems, axioms, etc.

Project description

This package contains a Sphinx extension for producing proof, theorem, axiom, lemma, definition, criterion, remark, conjecture, corollary, algorithm, example, property, observation and proposition directives.

This project is maintained and supported by najuzilu.

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

sphinx-proof-0.1.0.tar.gz (9.3 kB view details)

Uploaded Source

Built Distribution

sphinx_proof-0.1.0-py3-none-any.whl (9.8 kB view details)

Uploaded Python 3

File details

Details for the file sphinx-proof-0.1.0.tar.gz.

File metadata

  • Download URL: sphinx-proof-0.1.0.tar.gz
  • Upload date:
  • Size: 9.3 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/3.2.0 pkginfo/1.5.0.1 requests/2.24.0 setuptools/49.6.0.post20200814 requests-toolbelt/0.9.1 tqdm/4.49.0 CPython/3.8.5

File hashes

Hashes for sphinx-proof-0.1.0.tar.gz
Algorithm Hash digest
SHA256 da94e0b32e2ef91d85dd3e3e536b308bdba83af6169abd3180f3bd041574cbe5
MD5 d92ddb60427a2da46a92d47f7eeb7230
BLAKE2b-256 c48364d0278169168d891597c7c94930e27fca1ca211628e07957cbcab0c82ce

See more details on using hashes here.

File details

Details for the file sphinx_proof-0.1.0-py3-none-any.whl.

File metadata

  • Download URL: sphinx_proof-0.1.0-py3-none-any.whl
  • Upload date:
  • Size: 9.8 kB
  • Tags: Python 3
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/3.2.0 pkginfo/1.5.0.1 requests/2.24.0 setuptools/49.6.0.post20200814 requests-toolbelt/0.9.1 tqdm/4.49.0 CPython/3.8.5

File hashes

Hashes for sphinx_proof-0.1.0-py3-none-any.whl
Algorithm Hash digest
SHA256 4156958e091425c0959c0b3fde21e61743908541e5af22af65e90145f9ee07b1
MD5 88a0daff1dd761ebdfc48e5bfb7e9a89
BLAKE2b-256 6ba23eeab37f461f8b976c840920dfc9663c665fc1d11b6d795c89ed04e280e7

See more details on using hashes here.

Supported by

AWS AWS Cloud computing and Security Sponsor Datadog Datadog Monitoring Fastly Fastly CDN Google Google Download Analytics Microsoft Microsoft PSF Sponsor Pingdom Pingdom Monitoring Sentry Sentry Error logging StatusPage StatusPage Status page