Coursework for 'Formalización de matemática y ciencias de la computación con asistentes de prueba'