Combinatorial game theory channel

Stream: general

[Tristan Figueroa-Reid]

The current thread for combinatorial game theory formalization #general > Combinatorial game theory repository (whose associated repository is https://github.com/vihdzp/combinatorial-games/) has picked up some activity recently, and it's getting harder to find information. Can we get a new combinatorial game theory channel in Zulip for this topic?

[Violeta Hernández]

(I'd like to note that there's also a lot of activity locked behind my DMs with Tristan and Aaron)

[Kevin Buzzard]

The repo seems to be active and growing, so I don't see any reason why there shouldn't be a channel. Here's the questions you need to answer before someone can create it:

Screenshot from 2025-07-26 18-44-07.png

[Kevin Buzzard]

For the access question: web-public is the channels with the globe icon to the left of them in the channel list, public is the hashtag icon, and private is a lock icon.

[Violeta Hernández]

What about

combinatorial-games
Discussion about the ongoing formalization of combinatorial game theory (CGT) in Lean 4

[Violeta Hernández]

I don't see a problem with leaving it as web-public

[Kevin Buzzard]

#combinatorial-games > channel events @ 💬