Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] This is a Theorem (a song)

view this post on Zulip Email Gateway (Aug 19 2022 at 11:37):

From: Joachim Breitner <breitner@kit.edu>
Dear fellow Isabelle users,

attached is a song about using Isabelle, created for the final evening
of the Marktoberdorf Summer School 2013. I hope you can enjoy it, too.

Greetings,
Joachim

PS: If you want to link to it, you can also find it at
http://www.joachim-breitner.de/content/parodie/This_is_a_Theorem.html

PPS: Someone asked for it to be posted to the MOD facebook group. I’m
not on facebook, but maybe someone can forward it there.
ThisIsATheorem.pdf
signature.asc

Last updated: Apr 19 2024 at 20:15 UTC