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.3.tar.gz (9.6 kB view details)

Uploaded Source

Built Distribution

sphinx_proof-0.1.3-py3-none-any.whl (10.2 kB view details)

Uploaded Python 3

File details

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

File metadata

  • Download URL: sphinx-proof-0.1.3.tar.gz
  • Upload date:
  • Size: 9.6 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.3.tar.gz
Algorithm Hash digest
SHA256 db938da1ea18880f80f0e979cb895604a490beff3e8f3dd1945d4997451b373b
MD5 4af37cc003bc0392e8e7f19d792b819b
BLAKE2b-256 977cb7d39731f91a7337815aeb34bc913a990c8fb486b234e07bb3f0f547b707

See more details on using hashes here.

File details

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

File metadata

  • Download URL: sphinx_proof-0.1.3-py3-none-any.whl
  • Upload date:
  • Size: 10.2 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.3-py3-none-any.whl
Algorithm Hash digest
SHA256 3ee5286ebba694037170529fa92795873458a8b25a5f67fdf32aff5de506b2d6
MD5 3b91a30299578f4445259458e518e059
BLAKE2b-256 aed4d6f8c8e0910c4099fd29a240b1509739ce2e1ab42805b474db609c99d09f

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