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

Evitar que el usuario envíe correos a través de la wiki (es necesario el derecho blockemail).