https://github.com/rzk-lang/rzk

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

category-theory haskell homotopy-type-theory proof-assistant

Last synced: 15 May 2025

https://github.com/rzk-lang/shott

Formalisations for simplicial HoTT and synthetic ∞-categories.

Last synced: 10 Apr 2025

https://github.com/rzk-lang/sHoTT

Formalisations for simplicial HoTT and synthetic ∞-categories.

Last synced: 21 Nov 2024

https://github.com/rzk-lang/hottbook

HoTT Book formalisations in Rzk.

Last synced: 10 Apr 2025

https://github.com/rzk-lang/vscode-rzk

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

proof-assistant vscode

Last synced: 10 Apr 2025

https://github.com/rzk-lang/rzk-action

GitHub Action to check formalisations using rzk proof assistant.

github-actions

Last synced: 28 Mar 2025

https://github.com/rzk-lang/mkdocs-plugin-rzk

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

mkdocs-plugin

Last synced: 12 Mar 2025

https://github.com/rzk-lang/rzk-project-template

Template for a formalisation project in rzk proof assistant.

category-theory formalisation homotopy-type-theory

Last synced: 28 Mar 2025

https://github.com/rzk-lang/pygments-rzk

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

pygments pygments-lexer

Last synced: 28 Mar 2025

https://github.com/rzk-lang/rzk-lang.github.io

Website for the Rzk proof assistant.

Last synced: 28 Mar 2025

https://github.com/rzk-lang/.github

Last synced: 28 Mar 2025