rzk proof assistant, satellite tools, and formalisations

rzk

An experimental proof assistant based on a type theory for synthetic ∞-categories.

sHoTT

Formalisations for simplicial HoTT and synthetic ∞-categories.

hottbook

HoTT Book formalisations in Rzk.

vscode-rzk

Visual Studio Code Extension(s) for Rzk proof assistant.

rzk-action

GitHub Action to check formalisations using rzk proof assistant.

mkdocs-plugin-rzk

MkDocs plugin for rzk proof assistant (inserts diagram renders).

.github

pygments-rzk

Pygments highlighter for Rzk language (proof assistant for synthetic ∞-categories).

rzk-lang.github.io

Website for the Rzk proof assistant.

rzk-project-template

Template for a formalisation project in rzk proof assistant.