A song about Isabelle (the theorem prover)

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 <mail@joachim-breitner.de>, and I will include it here.