@misc{indiciae3600fa93e9ef,
  title = {Squarefree numbers in short intervals: explicit and formalized},
  author = {Mayank Pandey},
  year = {2026},
  url = {https://arxiv.org/abs/2608.06682},
  note = {Source identifier: 2608.06682}
}