Comment by kenjackson

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.