channel events

Stream: combinatorial-games

[Notification Bot]

Web-public channel created by Kevin Buzzard. Description:

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

[Bryan Gin-ge Chen]

If there are some topics that should be moved to this channel, please link them here!

[Violeta Hernández]

I think these news go here? Anyways, all the Mathlib material on games has been officially downstreamed to our repo: #28063