Para usar FormalIA, activa JavaScript en tu navegador.