pip install sphinxcontrib-proof==1.3.0
This packages contains the Proof sphinx extension, which provides directives to typeset theorems, lemmas, proofs, etc.
SourceAmong top 50% packages on PyPI.
Over 1.8K downloads in the last 90 days.
sphinxcontrib-proof
Based on how often these packages appear together in public
requirements.txt
files on GitHub.
A user-friendly CMS frontend for Nikola. |
|
None |
|
A wrapper around the Django Dingos app for the Mantis Cyber Threat Intelligence Mgmt. Framework. |
|
OME installation and administration tool |
|
propobject: Low level object to inherit from |
|
THIS PROJECT IS ABANDONED |
|
Run Django app tests standalone |
|
Numerical integration, quadrature for various domains |
|
A Django app that provides a generic framework for managing structured information in a generic way. |
|
Python wrapper for the official Hacker News API (v0) |
|
Library for coinfee.net, a Bitcoin payment processor |
|
Python library for working with OpenShift. |
|
A Python wrapper for Open Chinese Convert |
|
Geobricks common library. |
|
Classes for mimicking string behavior |
|
OEmbed anything. |
|
Link to Javadoc APIs from Sphinx documentation |
|
Remotely control power sockets from the Raspberry Pi |
|
GSuite Admin API Exporter |
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% |