lean-dojo

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

用于数据提取及以程序化方式与 Lean 交互的工具。