This is a template page; if you want to add your own proposal, copy the contents of this page elsewhere and link to that page from SummerOfCode2008
Proposal title
Mentor: StefanoZacchiroli (add yourself here if you're proposing yourself as a mentor)
Summary: brief description of this proposal
Required skills:
- OCaml programming
- being able to prove that P=NP
Description: i wont waste space explaining the details unless someone having the required skills (expecially the second one) will show up