Lean for Lean
https://arxiv.org/abs/2403.14064