lean-dojo

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

用於數據提取及以程式化方式與 Lean 互動的工具。