lean-dojo/LeanDojo
@lean-dojo用于数据提取及以程序化方式与 Lean 交互的工具。
星数
832
Fork 数
118
语言
Python
许可
MIT
最后推送
8个月前
相关情报（0）
还没有相关情报
radar 追踪的来源里还没有出现过这个 repo。收集器按计划运行——等它覆盖到这个 repo 再回来看看。
用于数据提取及以程序化方式与 Lean 交互的工具。
radar 追踪的来源里还没有出现过这个 repo。收集器按计划运行——等它覆盖到这个 repo 再回来看看。