You need a compiled .HEX file. In Arduino IDE:
Proteus is renowned for its powerful combination of schematic capture, PCB layout, and, most importantly, . But there is a catch: Proteus does not natively include an ESP32 model in its default library. esp32 library proteus
Close and reopen Proteus ISIS.