Juego para lean4game con el contenido de un curso de topología general.
Este repositorio se realiza gracias al apoyo institucional de la Convocatoria competitiva de Proyectos de Innovación de la Universidad de Zaragoza (PI_DTOST) en el año 2023 y con referencia ID 4934 con título "Uso de asistentes de demostración en la enseñanza de las matemáticas ".