Pinned Repositories
.github
hottbook
HoTT Book formalisations in Rzk.
mkdocs-plugin-rzk
MkDocs plugin for rzk proof assistant (inserts diagram renders).
pygments-rzk
Pygments highlighter for Rzk language (proof assistant for synthetic ∞-categories).
rzk
An experimental proof assistant based on a type theory for synthetic ∞-categories.
rzk-action
GitHub Action to check formalisations using rzk proof assistant.
rzk-lang.github.io
Website for the Rzk proof assistant.
rzk-project-template
Template for a formalisation project in rzk proof assistant.
sHoTT
Formalisations for simplicial HoTT and synthetic ∞-categories.
vscode-rzk
Visual Studio Code Extension(s) for Rzk proof assistant.
rzk proof assistant, satellite tools, and formalisations's Repositories
rzk-lang/rzk
An experimental proof assistant based on a type theory for synthetic ∞-categories.
rzk-lang/sHoTT
Formalisations for simplicial HoTT and synthetic ∞-categories.
rzk-lang/hottbook
HoTT Book formalisations in Rzk.
rzk-lang/vscode-rzk
Visual Studio Code Extension(s) for Rzk proof assistant.
rzk-lang/rzk-action
GitHub Action to check formalisations using rzk proof assistant.
rzk-lang/mkdocs-plugin-rzk
MkDocs plugin for rzk proof assistant (inserts diagram renders).
rzk-lang/.github
rzk-lang/pygments-rzk
Pygments highlighter for Rzk language (proof assistant for synthetic ∞-categories).
rzk-lang/rzk-lang.github.io
Website for the Rzk proof assistant.
rzk-lang/rzk-project-template
Template for a formalisation project in rzk proof assistant.