TY  - RPRT
TI  - Kimina Lean Server: A High-Performance Lean Server for Large-Scale Verification
AU  - Marco Dos Santos
AU  - Hugues de Saxcé
AU  - Haiming Wang
AU  - Ran Wang
AU  - Mantas Baksys
AU  - Mert Unsal
AU  - Junqi Liu
AU  - Zhengying Liu
AU  - Jia Li
PY  - 2025
UR  - https://arxiv.org/abs/2504.21230
ID  - 2504.21230
ER  -