Первые шаги с Rzk¶ Установите Rzk. Получите краткий экскурс по языку Rzk. Просмотрите введение в зависимые типы в Rzk. Научитесь настраивать проекты формализации в Rzk. Узнайте больше о возможностях Rzk в Руководстве.