lean-dojo/LeanCopilot

在 Lean 中作为定理证明 Copilot 的 LLM

↗ 在 GitHub 打开

星数

1,318

Fork 数

128

语言

C++

许可

MIT

最后推送

2周前

C++machine-learning llm llm-inference lean4 lean theorem-proving formal-mathematics

还没有相关情报

radar 追踪的来源里还没有出现过这个 repo。收集器按计划运行——等它覆盖到这个 repo 再回来看看。