TY  - RPRT
TI  - Mechanized Metatheory of Forward Reasoning for End-to-End Linearizability Proofs
AU  - Zachary Kent
AU  - Ugur Y. Yavuz
AU  - Siddhartha Jayanti
AU  - Stephanie Balzer
AU  - Guy Blelloch
PY  - 2025
UR  - https://arxiv.org/abs/2509.06872
ID  - 2509.06872
ER  -