The M_iGen Project is developing software to help 11-14-year-old children with understanding mathematical generalisation.

You can find out a lot more about the project via our project web-site and project wiki.