runqiwang777/tracer

runqiwang777/tracer 是一个智能体仓库，用编译器验证 Lean 4 证明候选，并利用错误诊断和相关示例尝试修复。

GitHub 项目说明: A typed repair agent with compiler-validated example retrieval for Lean 4. /// Former: runqi-allen-wang/TRACER-Typed-Repair-Agent-with-Compiler-validated-Example-Retrieval

星标

★ 3

复刻

0

语言

Lean

许可证

MIT