Hi and thanks for asking a question on dronetrest
In my opinion if its something that your partner will use for programming and development I will say the crazyflie 2.0 would be the best option by far as it fits your requirements exactly. This is because the crazyflie has been designed to be a flying development platform. Not only is it very small and safe to fly indoors, it also has the accompanying software libraries to make development easy, even in python!
We do also sell a relatively cheap ZMR250 FPV quadcopter kit, but it is abit too powerful and big to fly inside a house (unless you have a realy big room). However this quadcopter is more designed to be used for FPV racing and not so much programming, but it is fun to fly. You will also need some other equipment to complete the kit. It might not be the ideal option but still worth considering as a cheaper starting point.
If you have any other questions just let me know and I will be happy to help