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

Bloquear automáticamente la última dirección IP y todas las direcciones IP que traten de iniciar sesión posteriormente.