@misc{indiciae41fbda6acd7e,
  title = {Testing, Credible Compilation, and Verification in the Axon Verified Compiler in Lean and Claude Code},
  author = {Martin Rinard},
  year = {2026},
  url = {https://arxiv.org/abs/2605.01660},
  note = {Source identifier: 2605.01660}
}