Rzk Community

Chat

A Zulip chat is available for all to join and chat about Rzk, including formalization projects, development of Rzk, and related projects:

Join Rzk Zulip