openmath-lean-theorem

Name: openmath-lean-theorem
Author: bennyzhe

✨ openmath-lean-theorem

3.2k

安装

650

版本

1.0.3

CLS 安全扫描中

预计需要 3 分钟...

使用说明

references文件夹

scripts文件夹

手动下载zip · 11.0 kB

languages.mdtext/markdown

请选择文件