alvinary/formalizacion

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

Isabelle