Сообщество Rzk¶

Вокруг Rzk собралось небольшое сообщество математиков и информатиков.

Чат¶

Для всех желающих доступен (преимущественно англоязычный) чат Zulip, в котором можно обсудить формализации, разработку Rzk и смежные проекты: