@misc{indiciaed893f7286cb7,
  title = {AXLE: A Cloud Infrastructure for Lean 4 Theorem Proving Utilities},
  author = {Jimmy Xin and Alex Schneidman and Chris Cummins and Karun Ram and Srihari Ganesh and Jannis Limperg},
  year = {2026},
  url = {https://arxiv.org/abs/2606.26442},
  note = {Source identifier: 2606.26442}
}