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

- INTPRO_2,
*{I}ntuitionistic Propositional Calculus in the Extended Framework with Modal Operator. {P}art {II} (Negation, Deduction Theorem for IPC)*, Takao Inou\'e and Riku Hanaoka, - NEURONS1,
*{C}ompactness of Neural Networks*, Keiichi Miyajima and Hiroshi Yamazaki, - FIELD_10,
*{S}plitting Fields for the Rational Polynomials X^2-2, X^2+X+1, X^3-1, and X^3-2*, Christoph Schwarzweller and Sara Burgoa, - MESFUN15,
*{A}bsolutely Integrable Functions*, Noboru Endou, - CLASSES4,
*{N}on-trivial Universes and Sequences of Universes*, Roland Coghetto, - LOPBAN14,
*{I}somorphism between Spaces of Multilinear Maps and Nested Compositions over Real Normed Vector Spaces*, Kazuhisa Nakasho and Yuichi Futa.

- GROUP_22,
*{C}haracteristic Subgroups*, Alexander M. Nelson, - LOPBAN15,
*{T}ransformation tools for real linear spaces*, Kazuhisa Nakasho, - GLCOLO00,
*{I}ntroduction to Graph Colorings*, Sebastian Koch, - FUZZY_6,
*{D}efinition of Centroid Method as Defuzzification*, Takashi Mitsuishi. - NUMBER03,
*{E}lementary Number Theory Problems. {P}art {III}*, Artur Korni{\l}owicz.