Has anyone done rap genius for research papers? I think informal context associated with proofs would be a huge help in understanding. And even as a proof writer I'd put details in it that I wouldn't put in the formal proof.
Currently I'm working on http://libflow.com (on my spare time) and I have a lot of ideas to improve it (this "rap genius for research papers" was one of the possible improvements I had in mind). Unfortunately the project is on hold because I currently don't have the money to move it to a dedicated server and enough free time to make major changes to the site.