Surreal Numbers: A Study of Square Roots. - Pąk, Karol (Formalized Mathematics, 2025)