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

Bloquear al usuario Vandal indefinidamente con el motivo Vandalism y evitar que se cree nuevas cuentas o envíe correos.