lean-dojo/LeanCopilot

在 Lean 中作為定理證明 Copilot 的 LLM

↗ 在 GitHub 開啟

星數

1,318

Fork 數

128

語言

C++

授權

MIT

最後推送

3 週前

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

還沒有相關情報

radar 追蹤的來源裡還沒有出現過這個 repo。收集器照排程執行——等它涵蓋到這個 repo 再回來看看。