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

Uploaded Source

Built Distribution

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

Uploaded Python 3

File details

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

File metadata

  • Download URL: sphinx-proof-0.1.2.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.2.tar.gz
Algorithm Hash digest
SHA256 2dc55f5211dd5c871ee541a3807260f781b8bb8358d5fcaadda53ad98f4919a8
MD5 980c16bbf01355dd0edb9f3f5f65249e
BLAKE2b-256 0fd0858ce6d419407e3cadc5dc5dec955f01c5795498486e5f9c4a4a649b290a

See more details on using hashes here.

File details

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

File metadata

  • Download URL: sphinx_proof-0.1.2-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.2-py3-none-any.whl
Algorithm Hash digest
SHA256 d27d0f9331bca135e68a650e3611228deb63b4fac493531aaed5a5ec7a6416b5
MD5 8c9598b2ca689269311a9ed3fba759ef
BLAKE2b-256 615adcf0a78106a72d979fb6bc34f39a31f27d3daefa50165958711940dca73f

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