Stream: Proof Ground

Topic: Welcome

view this post on Zulip Simon Wimmer (Jul 01 2020 at 07:35):

Hi all!

We figured this stream would be the best place to keep the conversation about Proof Ground going.

view this post on Zulip Simon Wimmer (Jul 01 2020 at 07:37):

We would like to use this to gather feedback, and to discuss and plan for future online and offline competitions.

Last updated: Jan 09 2026 at 12:51 UTC