External Links

    Journal: Formalized Mathematics

    Volume 33, Issue 1

    1 -- 10Karol Pak. Surreal Numbers: A Study of Square Roots
    11 -- 23Karol Pak. Surreal Dyadic and Real Numbers: A Formal Construction
    25 -- 41Karol Pak. Conway's Normal Form in the Mizar System
    runs on