TY  - RPRT
TI  - The Eudoxus Reals
AU  - AJ Kumar
AU  - Reese Long
AU  - Andrew Tung
AU  - Ivan Wong
PY  - 2023
UR  - https://arxiv.org/abs/2310.04534
ID  - 2310.04534
ER  -