跳转到主要内容

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

项目描述

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

此项目由najuzilu维护和支持。

支持者