@misc{indiciae4a5a290ec43d,
  title = {NanoProof: Open and Efficient Automated Theorem Proving in Lean 4},
  author = {Matěj Kripner and Milan Straka},
  year = {2026},
  url = {https://arxiv.org/abs/2610.11605},
  note = {Source identifier: 2610.11605}
}