Kimina-Prover-RL：开源 Lean 4 定理证明训练管线，兼容 Verl

Kimina Prover 团队开源 kimina-prover-rl 训练管线，基于 DeepSeek-R1 式"先推理后生成"范式，用于 Lean 4 形式化定理证明，并完全兼容 Verl 框架。