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

Uploaded Source

Built Distribution

sphinx_proof-0.0.3-py3-none-any.whl (8.8 kB view details)

Uploaded Python 3

File details

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

File metadata

  • Download URL: sphinx-proof-0.0.3.tar.gz
  • Upload date:
  • Size: 8.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/50.3.0.post20201006 requests-toolbelt/0.9.1 tqdm/4.50.2 CPython/3.8.5

File hashes

Hashes for sphinx-proof-0.0.3.tar.gz
Algorithm Hash digest
SHA256 6bcb0c6c68eb3af7e391fba7def4a3a2f7f8be84be40daba16186fe344e58e0e
MD5 ab87f9c1a4947fbfec62f48472761c0c
BLAKE2b-256 e1049f00a150961abac0e3a98961abfa09b0b6b65011910ff8d64313af7a862c

See more details on using hashes here.

File details

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

File metadata

  • Download URL: sphinx_proof-0.0.3-py3-none-any.whl
  • Upload date:
  • Size: 8.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/50.3.0.post20201006 requests-toolbelt/0.9.1 tqdm/4.50.2 CPython/3.8.5

File hashes

Hashes for sphinx_proof-0.0.3-py3-none-any.whl
Algorithm Hash digest
SHA256 91e4a9eb551ce4a934d131e00b23db237e8d0f2a102b0285967b17c4a904d055
MD5 df915072f793b9b2baeb2c8ce6aa7e8f
BLAKE2b-256 4bbc590db0f9ca45a15c333153500666f50dfdb3e71ab793aec829f00566edad

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