![]() |
In years: 2016-2017, the English version of Formalized Mathematics was financed under agreements 548/P-DUN/2016 and 548/1/P-DUN/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 |