Espressif provides SDK development for ESP32. Technically, there is a guideline document from Espressif on how to set up the ESP32 toolchain. You can follow this guideline for Windows, Linux, and macOS: https://docs.espressif.com/projects/esp-idf/en/latest/get-started/index.html#setup-toolchain.
After completed, you can continue to get ESP-IDF to enable you to develop the ESP32 program. You also need all required libraries for Python. A detailed guideline can be read on this site: https://docs.espressif.com/projects/esp-idf/en/latest/get-started/index.html#get-started-get-esp-idf.
If done, we can develop programs for the ESP32 board. The ESP32 program is written in C programming language, which you should be familiar with. However, we can write ESP32 programs using any text editor. In this book, I use Visual Studio code: https://code.visualstudio.com. This IDE tool is available for Windows, Linux, and macOS.
Next, we develop a simple program with the ESP32 board.