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

Uploaded Source

Built Distribution

sphinx_proof-0.1.1-py3-none-any.whl (10.1 kB view details)

Uploaded Python 3

File details

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

File metadata

  • Download URL: sphinx-proof-0.1.1.tar.gz
  • Upload date:
  • Size: 9.5 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.1.tar.gz
Algorithm Hash digest
SHA256 39623bda59e9c3b0129417ec15fd5b43d61dc403c963a1fbbee1f794ace4a2be
MD5 722a7f6976ac5850dcdbf7d9909e8e90
BLAKE2b-256 767a0a548668e4c6c1005d7cfd88d97318df146a71568f23aac0b9a9a774079c

See more details on using hashes here.

File details

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

File metadata

  • Download URL: sphinx_proof-0.1.1-py3-none-any.whl
  • Upload date:
  • Size: 10.1 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.1-py3-none-any.whl
Algorithm Hash digest
SHA256 5af8702f4df0ee76cb8e6b5e187d60f5355a0505dc6f5e56e0fcddf9e64c0f13
MD5 014989ab80649509ca2778850c99a4f0
BLAKE2b-256 180ea203a88a4ac89dfb110a29d49889ffefc419c69c38f602c472abb23bfaf1

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