In years: 2016-2017, the English version of Formalized Mathematics financed under agreement 548/P-DUN/2016
from the funds of 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.
The most recently submitted article is listed last
(page numbers are temporary).