Skip to main content

A Sphinx extension for producing proofs, theorems, lemmas, definitions, remarks, corollaries, conjectures and algorithms.

Project description

This package contains a Sphinx extension for producing proof, theorem, lemma, definition, remark, conjecture, corollary and algorithm 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

sphinxcontrib-prettyproof-0.0.2.tar.gz (6.4 kB view details)

Uploaded Source

Built Distribution

If you're not sure about the file name format, learn more about wheel file names.

sphinxcontrib_prettyproof-0.0.2-py3-none-any.whl (9.8 kB view details)

Uploaded Python 3

File details

Details for the file sphinxcontrib-prettyproof-0.0.2.tar.gz.

File metadata

  • Download URL: sphinxcontrib-prettyproof-0.0.2.tar.gz
  • Upload date:
  • Size: 6.4 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.48.2 CPython/3.8.5

File hashes

Hashes for sphinxcontrib-prettyproof-0.0.2.tar.gz
Algorithm Hash digest
SHA256 898f7bbfbbaf208c6a97f788376702c56d1e89425c7f02b13a31f33dd4b3c394
MD5 49bc5fb37d4f11fc95b65ef0f1a9936a
BLAKE2b-256 3c011166a73ae64eabe96807c79b1c5bd63880bcd2f1fad6c981189f5fb2350e

See more details on using hashes here.

File details

Details for the file sphinxcontrib_prettyproof-0.0.2-py3-none-any.whl.

File metadata

  • Download URL: sphinxcontrib_prettyproof-0.0.2-py3-none-any.whl
  • Upload date:
  • Size: 9.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/49.6.0.post20200814 requests-toolbelt/0.9.1 tqdm/4.48.2 CPython/3.8.5

File hashes

Hashes for sphinxcontrib_prettyproof-0.0.2-py3-none-any.whl
Algorithm Hash digest
SHA256 a6f09780dc3be0468b43b1e20d2388aad8f504e925838494ec89b7f2f800dee2
MD5 2f53d5908d3ee0e8a115686df086d2a3
BLAKE2b-256 5eada3ff71d082c9ede8a933dd0df219f82126442034033010ab2ed03cd9a3f2

See more details on using hashes here.

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Depot Continuous Integration Fastly CDN Google Download Analytics Pingdom Monitoring Sentry Error logging StatusPage Status page