Opera Mini es un micronavegador gratuito para teléfonos móviles, teléfonos inteligentes, pocket PC y tabletas.