Por favor notar que foi acrescentada uma adenda no final do artigo:

----

Primeiramente no IDE do Arduino em Ficheiro/Preferências adicione http://arduino.esp8266.com/versions/2.3.0/package_esp8266com_index.json em gestor adicionais de placas. Faça Ok.

Depois em Ferramentas/placa/Gestor de Placas procure por ESP8266 Community e proceda à instalação.

E pronto é apenas isso. Bons Projectos

----

ADENDA: 

Para que a computador detecte a placa Wemos D1 Mini Pro na porta USB, é necessário proceder à instalação de Drivers os quais pode obter aqui: (https://www.silabs.com/products/development-tools/software/usb-to-uart-bridge-vcp-drivers)

 

Aconselhamos a ver: https://wiki.wemos.cc/tutorials:get_started:get_started_in_arduino