跳转到主要内容

生成证明、定理、引理、定义、备注、推论、猜想和算法的Sphinx扩展。

项目描述

此软件包包含一个Sphinx扩展,用于生成证明、定理、引理、定义、备注、推论、猜想和算法指令。

此项目由najuzilu维护和支持。

项目详情


下载文件

下载适合您平台的文件。如果您不确定选择哪个,请了解更多关于安装软件包的信息。

源代码分发

sphinxcontrib-prettyproof-0.0.2.tar.gz (6.4 kB 查看哈希值)

上传时间: 源代码

编译分发

sphinxcontrib_prettyproof-0.0.2-py3-none-any.whl (9.8 kB 查看哈希值)

上传时间: Python 3

由以下支持