In years: 2016-2017, the English version of Formalized Mathematics was financed under agreement 548/P-DUN/2016with the funds from the Polish Minister of Science and Higher Education for the dissemination of science. |

- NEWTON05,
*{P}arity as a Property of Integers*, Rafa{\l} Ziobro, - GLIB_006,
*{A}bout Supergraphs. {P}art {I}*, Sebastian Koch, - GLIB_007,
*{A}bout Supergraphs. {P}art {II}*, Sebastian Koch, - PARTPR_2-OLD, PARTPR_2-NEW,
*{O}n Algebras of Algorithms and Specifications over Uninterpreted Data*, Ievgen Ivanov, Artur Korni{\l}owicz and Mykola Nikitchenko, - NOMIN_2,
*{O}n an Algorithmic Algebra over Simple-Named Complex-Valued Nominative Data*, Ievgen Ivanov, Artur Korni{\l}owicz and Mykola Nikitchenko, - NOMIN_3-OLD, NOMIN_3-NEW
*{A}n Inference System of an Extension of {F}loyd-{H}oare Logic for Partial Predicates*, Ievgen Ivanov, Artur Korni{\l}owicz and Mykola Nikitchenko, - NOMIN_4,
*{P}artial Correctness of {GCD} Algorithm*, Ievgen Ivanov, Artur Korni{\l}owicz and Mykola Nikitchenko, - HILB10_3,
*{B}asic Diophantine Relations*, Marcin Acewicz and Karol P{\k a}k, - ROUGHS_5,
*{F}ormalizing Two Generalized Approximation Operators*, Adam Grabowski and Micha{\l} Sielwiesiuk, - ROBBINS5,
*{O}n Two Alternative Axiomatizations of Lattices by {M}c{K}enzie and {S}holander*, Adam Grabowski and Damian Sawicki.