Настройка проекта

Раздел в работе

Скоро здесь будет описание работы с проектами формализации. До тех пор вы можете воспользоваться шаблонным проектом: https://github.com/rzk-lang/rzk-project-template. Также см. https://github.com/rzk-lang/sHoTT для примера реального проекта.