Hi all, if you haven't realised yet: there are more streams than the default ones you are subscribed to.
Add streams below the list of streams on the left
In particular, there's a
New Members & Projects stream. Feel free to introduce yourself or your new projects there!
And if you supervise students new to Isabelle, encourage them to also introduce themselves there :)
I thought you were talking about computer games ;)
Haha, it took me a while to get your joke. Changed Steam -> Stream. No free Steam vouchers today I am afraid ;)
Last updated: Dec 07 2023 at 16:21 UTC