09.46, Tuesday 24 Apr 2001 Link to this post 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.
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.