Abstract
Technical report describing the Kimina Lean Server, a comprehensive infrastructure for Interactive Theorem Proving in Lean, designed to support large-scale formal reasoning and proof automation.
Type
Publication
arXiv preprint arXiv:2504.21230
