rzk proof assistant, satellite tools, and formalisations

Formalisations for simplicial HoTT and synthetic ∞-categories.

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

HoTT Book formalisations in Rzk.

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

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

GitHub Action to check formalisations using rzk proof assistant.

Template for a formalisation project in rzk proof assistant.

Website for the Rzk proof assistant.

No description provided.

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