Смотрите требования ArduinoIDE в разделе Prerequisites
Installing — ESP8266 Arduino Core 2.5.2-34-g653f58e documentation
Installing — ESP8266 Arduino Core 2.5.2-34-g653f58e documentation
Это не значит, что он у вас не установлен, посмотрите в списке установленных приложений.Никакой версии, я им никогда не пользовался