For the final dinner of the Marktoberdorf Summer School 2013 I created the song “This is a theorem” about working with the theorem prover Isabelle, to the lyrics of Boomtown Rat’s “I don’t like mondays”. Nice-to-print PDF version available as well. Enjoy, and if you like it, have a look at other song texts that I wrote.
Have something to say? You can post a comment by sending an e-Mail to me at <email@example.com>, and I will include it here.