Stream: Announcements

Topic: ❗ Isabelle 2025-1 is out


view this post on Zulip Mario Xerxes Castelán Castro (Dec 18 2025 at 02:39):

I found it a strange omission that there is no official announcements in the "Announcements" channel, so here is an unofficial one (this message).

view this post on Zulip Fabian Huch (Dec 18 2025 at 08:31):

This whole Zulip is not an official channel ;)


Last updated: Jan 09 2026 at 12:51 UTC