Zulip Chat Archive

Stream: concrete semantics

Topics:

What's Isabelle's "auto"? (8 messages, latest: Mar 25 2020 at 13:33)
Status report (4 messages, latest: Feb 07 2020 at 19:00)
signup sheet (1 message, latest: Mar 01 2019 at 19:00)
hello (14 messages, latest: Feb 28 2019 at 20:51)

Last updated: Apr 16 2021 at 20:15 UTC