4

Kimina Lean Server: Technical Report
Technical report on the Kimina Lean Server infrastructure for Interactive Theorem Proving.
M.D Santos, H. Wang, H. de Saxcé, R. Wang, , M. Unsal, J. Liu
PDF Cite arXiv