TY  - RPRT
TI  - A computer-assisted proof of robust transitivity
AU  - Marisa Cantarino
AU  - Andy Hammerlindl
AU  - Warwick Tucker
PY  - 2026
UR  - https://arxiv.org/abs/2609.10120
ID  - 2609.10120
ER  -