sphinx-proof

sphinx-proof#

sphinx-proof 文档

Sphinx 证明扩展包

该软件包包含了用于Sphinx的扩展,旨在生成包括证明、定理、公理、引理、定义、标准、备注、猜想、推论、算法、示例、性质、观察、命题和假设指令的文档内容。

特性:

  1. 指令会自动编号。

  2. 支持诸如 class、label 和 nonumber 等指令选项。

  3. 可以通过 prf:ref 角色进行引用。

安装

pip install sphinx-proof