TY  - RPRT
TI  - Conway Normal Form: Bridging Approaches for Comprehensive Formalization of Surreal Numbers
AU  - Karol Pąk
AU  - Cezary Kaliszyk
PY  - 2024
DO  - 10.4230/lipics.itp.2024.29
UR  - https://arxiv.org/abs/2410.00065
ID  - 2410.00065
ER  -