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: