这个包包含 Proof sphinx 扩展，它提供了排版定理、引理、证明等的指令。
项目描述
这个sphinx扩展为排版定理、属性、证明等提供了一些指令。您可以在 Jouets 的文档中看到它的实际应用。
什么是新的？
请参阅更改日志。
安装
该模块仅与 python 3 兼容。
请参阅列表末尾的（快速而肮脏的）Debian 软件包。
从来源：
安装（在virtualenv中，如果您不想弄乱您的分发安装系统）：
python3 setup.py install
从点子：
pip install sphinxcontrib-proof
快速而肮脏的 Debian（和 Ubuntu？）软件包
这需要安装stdeb：
python3 setup.py --command-packages=stdeb.command bdist_deb sudo dpkg -i deb_dist/python3-sphinxcontrib-proof-<VERSION>_all.deb
文档
该文档可在readthedocs上找到。您可以使用以下方法构建它：
cd doc && make html
下载文件
下载适用于您平台的文件。如果您不确定要选择哪个，请了解有关安装包的更多信息。
源分布
sphinxcontrib-proof-1.4.0.tar.gz
（93.3 kB
查看哈希）
内置分布
关
sphinxcontrib -proof-1.4.0.tar.gz 的哈希值
| 算法 | 哈希摘要 | |
|---|---|---|
| SHA256 | fa1eb6a0ac5310aa8b0692cf717010e01801518d660166cbd6dd46d4d611610d |
|
| MD5 | 42911c0965a970d8f678259d7cc8927b |
|
| 布莱克2-256 | 87a510ba9b426da59b8586383e754f6caeb7e0c9f50921cd084eaccff797741c |
关
sphinxcontrib_proof -1.4.0-py3-none-any.whl 的哈希值
| 算法 | 哈希摘要 | |
|---|---|---|
| SHA256 | 27dfa4f74b2b7fec6028c818d2836321da206be8677c1a931952ec370e73506f |
|
| MD5 | 4b8d24e87a94fa2b36e6b4e7a5d5177b |
|
| 布莱克2-256 | da7ed2dd0dc19d9001e3c1f247a1cd991015eeb23fd0a80538bdc4d96ccf8a81 |