Sphinx领域，用于Lean定理证明器

导航

验证详细信息

这些详细信息已由PyPI验证
维护者
来自gravatar.com的Julian头像 Julian

未经验证的详细信息

这些详细信息尚未由PyPI验证
项目链接
元信息
分类器

项目描述

PyPI version Supported Python versions Build status ReadTheDocs status

一个（高度实验性）Sphinx领域，用于Lean定理证明器。

项目详情

验证详细信息

这些详细信息已由PyPI验证
维护者
来自gravatar.com的Julian头像 Julian

未经验证的详细信息

这些详细信息尚未由PyPI验证
项目链接
元信息
分类器

版本历史 发布通知 | RSS源

此版本

0.3.1

0.3.0

0.2.0

下载文件

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

源代码分发

sphinxcontrib-lean-0.3.1.tar.gz (14.3 kB 查看哈希值)

上传时间： 源

构建分发

sphinxcontrib_lean-0.3.1-py2.py3-none-any.whl (10.5 kB 查看哈希值)

上传时间： Python 2 Python 3

由以下支持