stream events

Stream: sphere eversion

[Notification Bot]

Stream created by Patrick Massot.

[Johan Commelin]

Great idea to create this stream!

[Johan Commelin]

It does create some existential crisis, because I've run out of interesting colours for interesting Zulip streams. What is the canonical colour for a sphere eversion stream?

[Oliver Nash]

I presume we're deliberately avoid red?

[Kevin Buzzard]

I think colours are user-defined. My "is there code for X" is red

[Notification Bot]

Johan Commelin changed the description for this stream.

• Old description:

Discussion about the sphere everion project

• New description:

Discussion about the sphere eversion project