Convertir les théorèmes en musique: l'idée est simple mais il fallait y penser.
Il suffit pour cela d'affecter des notes aux différentes étapes intervenant dans les théorèmes et de les enchaîner.
Je vous laisse avec le charme de la musique et la charge de reconnaître si les preuves sont correctes, mathématiquement et musicalement. En plus c'est en anglais et c'est sur Metamath
Bonne lecture et bonne écoute.