TY  - RPRT
TI  - Automating Bitvector and Finite Field Equivalence Proofs in Lean
AU  - Elizaveta Pertseva
AU  - Valentin Robert
AU  - Clark Barrett
AU  - James Parker
PY  - 2026
UR  - https://arxiv.org/abs/2605.15163
ID  - 2605.15163
ER  -