Kimina Lean Server: A High-Performance Lean Server for Large-Scale Verification

Marco Dos Santos, Hugues de Saxcé, Haiming Wang +6

We introduce the Kimina Lean Server, an open-source project designed as a high-performance verifier for reinforcement learning pipelines. Built on top of the Lean REPL (Read-Eval-P…