Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Is Randall reading this list

Email Gateway (Aug 19 2022 at 10:04):

From: Joachim Breitner <breitner@kit.edu>
Hi,

may it be that https://xkcd.com/1172/ is related to recent discussions
on this list? :-)

Greetings,
Joachim
signature.asc

Last updated: Jul 17 2026 at 02:48 UTC