Инструменты

Решатель теорем Rzk включает в себя языковой сервер и возможность автоматичекого форматирования.

Другие инструменты улучшают пользовательский опыт и/или автоматизируют частные задачи.

Расширение для VS Code

См. rzk-lang/vscode-rzk. Расширение предлагает много удобств и использование VS Code с ним рекомендуется, особенно новичкам, поскольку это наиболее распространённый способ работы с Rzk и ему уделяется больше внимания со стороны разработчиков.

Плагин для MkDocs

См. rzk-lang/mkdocs-plugin-rzk. Плагин улучшает документацию, получаемую из литературных файлов с формализациями (.rzk.md): - добавляет SVG-диаграммы по определениям/доказательствам, если возможно (экспериментальная поддержка) - добавляет якоря для определний (полезно для создания ссылок на конкретные определения)

Скрипт для GitHub Action

См. rzk-lang/rzk-action. Этот скрипт позволяет проверять формализации на Rzk для проектов на GitHub автоматически. Скрипт также экспериментально поддерживает проверку форматирования.

Подсветка синтаксиса (Pygments)

См. rzk-lang/pygments-rzk. Это простая реализация подсветки синтаксиса (используется при генерации документации с MkDocs и пакетом minted package в LaTeX). Учтите, что подсветка может отличатся от подсветки в VS Code, т.к. последний использует языковой сервер Rzk для более точной "семантической подсветки".