In years: 2023-2024, Formalized Mathematics was financed under agreement RCN/SP/0479/2021/1 with the funds from the Polish Minister of Education and Science for the development of scientific journals.
	In years: 2016-2017, Formalized Mathematics was financed under agreement 548/P-DUN/2016 with the funds from the Polish Minister of Science and Higher Education for the dissemination of science.

Papers accepted for publication which have not been published yet - during the process of proof-read by Authors.

Formalized Mathematics,

1. SURREALS,          {S}urreal Numbers: A Study of Square Roots, Karol P{\ka}k.
2. SURREALN,          {S}urreal Dyadic and Real Numbers: A Formal Construction, Karol P{\ka}k.
3. SURREALC,          {C}onway's Normal Form in the {M}izar System, Karol P{\ka}k.