#LLM Judge

验证 LLM 写的 Lean 证明，别再只靠 LLM 打分了，这篇加了数值和空泛性机械检查，错误率最低，代码开源。