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

- POLYVIE1,
*{V}ieta's Formula about the Sum of Roots of Polynomials*, Artur Korni{\l}owicz and Karol P\k{a}k, - FUZNORM1,
*{B}asic Formal Properties of Triangular Norms and Conorms*, Adam Grabowski, - FINANCE4, NEW-FINANCE4,
*{I}ntroduction to Stopping Time in Stochastic Finance Theory*, Peter Jaeger, - PASCAL,
*{P}ascal's Theorem in Real Projective Plane*, Roland Coghetto, - ORDERS_5,
*{A}bout Quotient Orders and Ordering Sequences*, Sebastian Koch, - BASEL_1,
*{B}asel Problem -- Preliminaries*, Artur Korni{\l}owicz and Karol P{\ka}k, - BASEL_2,
*{B}asel Problem*, Karol P{\ka}k and Artur Korni{\l}owicz, - ZMODLAT3,
*{D}ual Lattice of $\mathbb Z$-module Lattice*, Yuichi Futa and Yasunari Shidama.