这个包包含证明sphinx扩展，它为类型集定理、引理、证明等提供指令。
sphinxcontrib-proof的Python项目详细描述
这个sphinx扩展提供了一些指令 排版定理、性质、证明等，你可以在 Jouets’ documentation。
有什么新消息？
安装
此模块仅与Python3兼容。
请参阅列表末尾的Debian包（快速而肮脏）。
来源：
安装（如果您不想破坏您的分发安装系统，请在虚拟机中安装）：
python3 setup.py install
来自PIP:
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
欢迎加入QQ群-->： 979659372
