Skip to content

Rzk Community

There is a small community of mathematicians and computer scientists around Rzk.

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