{ 2001.04.24 } Metamath [permanent url] has an archive of mathematical proofs, cross-references, for you to explore. And a very odd section dedicated to translating those proofs into music.

Permalink «
This is
INTERCONNECTED