Demostración automática de teoremas (2014-15) Demostración automática de teoremas (2014-15)

Carga el archivo una vez más, modifica la descripción siguiente e inténtalo de nuevo.