pip install sphinxcontrib-proof==1.3.0

This packages contains the Proof sphinx extension, which provides directives to typeset theorems, lemmas, proofs, etc.

Source
Among top 50% packages on PyPI.
Over 1.8K downloads in the last 90 days.

Commonly used with sphinxcontrib-proof

Based on how often these packages appear together in public requirements.txt files on GitHub.

coil

A user-friendly CMS frontend for Nikola.

diamond-dependency

None

django-mantis-core

A wrapper around the Django Dingos app for the Mantis Cyber Threat Intelligence Mgmt. Framework.

omego

OME installation and administration tool

propobject

propobject: Low level object to inherit from

pytest-ipynb

THIS PROJECT IS ABANDONED

django-app-test-runner

Run Django app tests standalone

quadpy

Numerical integration, quadrature for various domains

django-dingos

A Django app that provides a generic framework for managing structured information in a generic way.

hackernews-python

Python wrapper for the official Hacker News API (v0)

coinfee

Library for coinfee.net, a Bitcoin payment processor

powershift

Python library for working with OpenShift.

opencc-python

A Python wrapper for Open Chinese Convert

GeobricksCommon

Geobricks common library.

stringlike

Classes for mimicking string behavior

feincms-oembed

OEmbed anything.

sphinx-javalink

Link to Javadoc APIs from Sphinx documentation

energenie

Remotely control power sockets from the Raspberry Pi

gsuite-exporter

GSuite Admin API Exporter

Version usage of sphinxcontrib-proof

Proportion of downloaded versions in the last 3 months (only versions over 1%).

1.3.0

51.52%

1.2.0

9.67%

1.1.1

7.93%

1.1.0

6.47%

1.0.1

6.13%

1.0.0

6.13%

0.1.0

6.07%

0.1.1

6.07%