Swirly Mein Kopf

Monday, August 12. 2013

A song about Isabelle (the theorem prover)

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.


No Trackbacks


Display comments as (Linear | Threaded)

No comments

Add Comment

To prevent automated Bots from commentspamming, please enter the string you see in the image below in the appropriate input box. Your comment will only be submitted if the strings match. Please ensure that your browser supports and accepts cookies, or your comment cannot be verified correctly.

Gravatar, Favatar, Identica author images supported.
What is the first name of the owner of this blog? / Wie heißt der Betreiber dieses Blogs mit Vornamen?
Nach oben