Metamath Music Page

Very interesting project about the sonification of mathematical proofs, that's also used to analyse sound. The proofs are converted into MIDI for sonification.

Read more at us.metamath.org/mpegif/...