Notification Bot (Mar 17 2021 at 17:42): Notification Bot (Mar 17 2021 at 17:42):This topic was moved by Kevin Kappelmann to #IRC #isabelle > IRC
Kevin Kappelmann (Mar 17 2021 at 17:47):Moved the IRC to a separate stream - if anyone is interested, just join it :)
Last updated: Feb 06 2026 at 20:37 UTC