跳转到主要内容

Sphinx扩展,用于生成证明、定理、公理等。

项目描述

此软件包包含一个Sphinx扩展,用于生成证明、定理、公理、引理、定义、标准、注释、猜想、推论、算法、示例、属性、观察、命题和假设指令。

此项目由najuzilu维护和支持。

项目详情


下载文件

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

源分布

sphinx-proof-0.2.0.tar.gz (11.3 kB 查看哈希值)

上传时间

构建分布

sphinx_proof-0.2.0-py3-none-any.whl (13.1 kB 查看哈希值)

上传时间 Python 3

支持者