Sign up for Zulip

Rzk
https://rzk-lang.zulipchat.com

Discussions around formalizations in Rzk and development of Rzk.

You need an invitation to join this organization.
OR