sphinx-proof

sphinx-proof#

sphinx-proof 文档

Sphinx 证明扩展包

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

特性

  1. 指令会自动编号。

  2. 支持诸如 classlabelnonumber 等指令选项。

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

安装

pip install sphinx-proof