Exercises for an event

Stream: new members

[Yagub Aliyev]

example (x : U) (A : Set U) (h : x ∈ A) : x ∈ A := by

[Notification Bot]

This topic was moved here from #Geographic locality > Exercises for an event by Kevin Buzzard.

[Yagub Aliyev]

Dear friends I wanted to know if there is a possibility of a private channel or thread where you can post exercises for your students like the one above without everyone seeing it except maybe those who have a link or access code.

[Kevin Buzzard]

If all your students are on the Zulip then it is possible to set up a private channel, just google for how to do it. edit: here https://zulip.com/help/channel-permissions#private-channels

[Julian Berman]

I don't think they'll have permissions to do that with how we have Zulip set up.

[Eric Wieser]

Yes, you would have to request that we create a channel for you, and choose a maintainer to be a moderator (just in case)

[Kevin Buzzard]

Even for a private channel?

[Eric Wieser]

Maybe I'm misremembering the policy

[Eric Wieser]

#Zulip meta > creating channels @ 💬 is the discussion that's relevant, I think

[Kevin Buzzard]

@Yagub Aliyev while the maintainers are trying to remember the policy for moderation of private channels, perhaps you could take a while explaining something about the course and what you intend to use the channel for.

[Yagub Aliyev]

Yes. On Monday I gave a lecture to high school students about set theory and its history. I promised them to explain how to formalize set theory theorems and their proofs on lean4. On this Wednesday I will demonstrate Set Theory Game and solve some of the tasks there. On Friday I want to solve some set theory exercises using zulip chat and zulip's lean windows. The students already have necessary links to register in zulip and play the game. I asked them not to post unnecessary messages on zulip. This will be the first such event in Azerbaijan. I hope that it will be useful for them.

[Kevin Buzzard]

The maintainers are actively discussing this issue and will hopefully come back to you with a decision later today. Sorry for the delay.

[Yagub Aliyev]

Screenshot_20250520-211738.png
I can't add subscribers. There is something barring this. What does empty set type symbol mean below the avatars of the members?

[Kevin Buzzard]

darn it, looking now

[Kevin Buzzard]

PS just switch to the channel and discuss there