Getting Started with Rzk¶ Install Rzk. Get a quick overview of Rzk language. Get through the introduction to dependent types in Rzk. Learn how to configure formalization projects in Rzk. Learn more about Rzk features in the Rzk Reference.