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, proposition, and assumption 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.2.0.tar.gz (11.3 kB view details)

Uploaded Source

Built Distribution

sphinx_proof-0.2.0-py3-none-any.whl (13.1 kB view details)

Uploaded Python 3

File details

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

File metadata

  • Download URL: sphinx-proof-0.2.0.tar.gz
  • Upload date:
  • Size: 11.3 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/5.1.1 CPython/3.12.6

File hashes

Hashes for sphinx-proof-0.2.0.tar.gz
Algorithm Hash digest
SHA256 12e7deb3feb3e16b9d59f7c3db8bb16cf6d465bc209aa6b99924d1000f9b9ce9
MD5 434156a9eaf584dbb59588ee8e3268e4
BLAKE2b-256 5addb61e88e3d22a9f749f8aba8fe52c50fd7fa4cbfda3d5e5ada2fc517838f5

See more details on using hashes here.

File details

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

File metadata

  • Download URL: sphinx_proof-0.2.0-py3-none-any.whl
  • Upload date:
  • Size: 13.1 kB
  • Tags: Python 3
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/5.1.1 CPython/3.12.6

File hashes

Hashes for sphinx_proof-0.2.0-py3-none-any.whl
Algorithm Hash digest
SHA256 fcfec4bfc029ff30c41c44dbe5da9051ff0cee02688c6c6e325c21e00aa3b68a
MD5 559fbe0f0bc059352fb19e818c75c37f
BLAKE2b-256 e55b6daac5160d83cb93eb909b044ae7fafe268fb573417a83716b7cc2d8dd3f

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