TY  - RPRT
TI  - Refactoring and Equivalence in Rust: Expanding the REM Toolchain with a Novel Approach to Automated Equivalence Proofs
AU  - Matthew Britton
AU  - Sasha Pak
AU  - Alex Potanin
PY  - 2026
UR  - https://arxiv.org/abs/2601.19207
ID  - 2601.19207
ER  -