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