We are starting to develop a robotics program with Pyboard. We successfully turned on and off both LEDs.