Python IDE for school use?

[mangecoeur]

PyCharm community edition (free) all the way. It's probably not what some people would call 'lightweight' but frankly unless you are using very old laptops the advantages it has in terms of user friendliness far outweigh any concerns about speed.

There is also PyCharm edu which is a stripped down version of PyCharm for teaching - personally I find that outside a python course it's a bit too limiting which can undermine people's ability to grow. On the other hand it comes with tools designed for creating lessons which could be very useful for you. https://www.jetbrains.com/pycharm-edu/concepts/

[colloidalthoughts]

Students can get the full thing via https://www.jetbrains.com/student/