EasyProver

基于递归智能体与 Lean 定理证明器的形式化验证系统，通过隔离上下文的智能体并行搜索证明，无需专门训练模型即可达到高验证通过率