In years: 20232024, expanding publishing software and development of web interface provided to authors and editors 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: 20162017, the English version of Formalized Mathematics was financed under agreement 548/PDUN/2016 with the funds from the Polish Minister of Science and Higher Education for the dissemination of science. 
@Preamble{"\providecommand{\calR}{\cal R} \providecommand{\calE}{\cal E} \providecommand{\rmT}{\rm T} \providecommand{\mbR}{\mathbb R} \providecommand{\BbbR}{\mathbb R} \providecommand{\SCM}{\bf SCM} \providecommand{\SCMFSA}{${\bf SCM}_{\rm FSA}$}"} \providecommand{\fxp}{$F[X]/\langle p\rangle$} \providecommand{\fx}{$F[X]$} \providecommand{\f}{$F$}
Special Issue: 25 years of the Mizar Mathematical Library 