Stream: General

Topic: IRC

view this post on Zulip Notification Bot (Mar 17 2021 at 17:42):

This topic was moved by Kevin Kappelmann to #IRC #isabelle > IRC

view this post on Zulip 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 27 2026 at 20:31 UTC