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).