@misc{indiciae2d62a8163b53,
  title = {Automating Bitvector and Finite Field Equivalence Proofs in Lean},
  author = {Elizaveta Pertseva and Valentin Robert and Clark Barrett and James Parker},
  year = {2026},
  url = {https://arxiv.org/abs/2605.15163},
  note = {Source identifier: 2605.15163}
}