This topic was moved by Kevin Kappelmann to #IRC #isabelle > IRC
Moved the IRC to a separate stream - if anyone is interested, just join it :)
Last updated: Jul 14 2025 at 16:29 UTC