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