Skip to main content

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.

Metadata

Release files for sphinxcontrib-prettyproof 0.0.2

For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.

Source distribution (sdist)

Source distribution for sphinxcontrib-prettyproof 0.0.2
File Size Uploaded
sphinxcontrib-prettyproof-0.0.2.tar.gz 6.4 kB Details

Built distribution (wheel)

Table of built distributions (wheels) for sphinxcontrib-prettyproof 0.0.2
File Interpreter ABI Platform
sphinxcontrib_prettyproof-0.0.2-py3-none-any.whl Python 3 none any Details

Total release size: 16.2 kB

Release files / sphinxcontrib-prettyproof-0.0.2.tar.gz

Download URL sphinxcontrib-prettyproof-0.0.2.tar.gz
Size 6.4 kB
Tags Source
SHA-256 checksum
How to use checksums
898f7bbfbbaf208c6a97f788376702c56d1e89425c7f02b13a31f33dd4b3c394
BLAKE2b-256 checksum
How to use checksums
3c011166a73ae64eabe96807c79b1c5bd63880bcd2f1fad6c981189f5fb2350e
Upload date
Uploaded using Trusted Publishing?
What is 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

Release files / sphinxcontrib_prettyproof-0.0.2-py3-none-any.whl

Download URL sphinxcontrib_prettyproof-0.0.2-py3-none-any.whl
Size 9.8 kB
Tags Python 3
SHA-256 checksum
How to use checksums
a6f09780dc3be0468b43b1e20d2388aad8f504e925838494ec89b7f2f800dee2
BLAKE2b-256 checksum
How to use checksums
5eada3ff71d082c9ede8a933dd0df219f82126442034033010ab2ed03cd9a3f2
Upload date
Uploaded using Trusted Publishing?
What is 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
Anthropic, PBC Visionary sponsor Bloomberg Visionary sponsor Hudson River Trading Visionary sponsor Meta Visionary sponsor NVIDIA Visionary sponsor Microsoft Sustainability sponsor Depot Continuous Integration AWS Cloud computing and Security Sponsor Datadog Monitoring Fastly CDN Google Download Analytics Sentry Error logging StatusPage Status page