Bueno, les cuento que no hizo falta instalar nada. Como suponía, los editores online deberían tener la posibilidad de importar librerías de todo tipo y color.
El siguiente link: https://es.sharelatex.com/ es de un editor online que está muy prolijo y es muy fácil de usar. Si crean un documento nuevo y le agregan lo que dice Fernando, (\usepackage[]{proof} antes del \being) les renderiza las derivaciones perfecto.
Espero les sirva el pique, saludos!