Conway Normal Form: Bridging Approaches for Comprehensive Formalization of Surreal Numbers.

Karol Pak, Cezary Kaliszyk

Browse the full ITP paper archive.