This is a LEAN repository that collects the lemmas and theorems presented in a seminar, given as part of the topology course of Professor Natalia Castellana at the Autonomous University of Barcelona, and propose those statements in LEAN code. You will find two files: one has the statements as exercises and the other has their respective solutions.

If you want to see the GitHub repository it can be found here, you can also visit the official webpage of Dr Natalia Catellana's topology course here.