Joachim Breitner

A song about Isabelle (the theorem prover)

Published 2013-08-12 in sections English, Digital World.

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 <>, and I will include it here.