

 On the Formalization of
Linear Operators
by Noboru Endou and Yasunari Shidama
 The Fashoda Meet Theorem
and Its Variants
by Jaroslaw Kotowicz
 The Urysohn Lemma
by Jozef Bialas and Yatsuka Nakamura
 A Proof of the Jordan
Curve Theorem via the Brouwer Fixed Point Theorem
by Artur Kornilowicz
 Formalization of the
Tietze Extension Theorem in Mizar
by Adam Naumowicz
 Towards a Coherent
Repository of Knowledge
by Adam Grabowski
 Some Special
Sequences of Points on a Plane
by Mariusz Giero and Roman Matuszewski
