Joachim Breitner's Homepage

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.