There is a version of Thonny[1] designed for use with the Pico that is great for education. Raspberry Pi have some good resources on getting started[2].
If your target audience is school kids, you really can't go past the micro:bit and Makecode[3].
2. https://projects.raspberrypi.org/en/projects/getting-started...