runqiwang777/tracer

runqiwang777/tracer は、Lean 4 の証明候補をコンパイラで検証し、エラーダイアグNOSティクスと関連事例を活用して修正を試みるエージェントのリポジトリである。

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