跳转到主要内容

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

项目描述

PyPI version Supported Python versions Build status ReadTheDocs status

一个(高度实验性)Sphinx领域,用于Lean定理证明器

由以下支持