There is a similar project to digitize and analyze Grothendieck's notes and letters.