pip安装sphinx-proof 复制PIP指令
发布时间: 2024年9月10日
Sphinx扩展,用于生成证明、定理、公理等。
all
code-style
rtd
testing
此软件包包含一个Sphinx扩展,用于生成证明、定理、公理、引理、定义、标准、注释、猜想、推论、算法、示例、属性、观察、命题和假设指令。
此项目由najuzilu维护和支持。
0.2.0
2024年9月10日
0.1.3
2021年10月13日
0.1.2
0.1.1
2021年8月18日
0.1.0
2021年7月29日
0.0.3
2020年10月9日
下载适用于您平台的文件。如果您不确定选择哪个,请了解更多关于 安装包的信息。
上传时间 2024年9月10日 源
源
上传时间 2024年9月10日 Python 3
Python 3
12e7deb3feb3e16b9d59f7c3db8bb16cf6d465bc209aa6b99924d1000f9b9ce9
434156a9eaf584dbb59588ee8e3268e4
5addb61e88e3d22a9f749f8aba8fe52c50fd7fa4cbfda3d5e5ada2fc517838f5
fcfec4bfc029ff30c41c44dbe5da9051ff0cee02688c6c6e325c21e00aa3b68a
559fbe0f0bc059352fb19e818c75c37f
e55b6daac5160d83cb93eb909b044ae7fafe268fb573417a83716b7cc2d8dd3f
支持者