Table of Contents

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