Repositories list

• rzk

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

  haskellproof-assistantcategory-theory+ 1homotopy-type-theory

  Haskell

  •10•217•51•7•Updated Mar 14, 2025Mar 14, 2025

• sHoTT

  Public
  Formalisations for simplicial HoTT and synthetic ∞-categories.

  Markdown

  •11•48•20•1•Updated Oct 2, 2024Oct 2, 2024

• vscode-rzk

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

  vscodeproof-assistant

  TypeScript

  •

  Other

  •1•8•11•1•Updated Jun 19, 2024Jun 19, 2024

• hottbook

  Public
  HoTT Book formalisations in Rzk.

  Markdown

  •1•17•2•0•Updated Dec 15, 2023Dec 15, 2023

• rzk-project-template

  Public template
  Template for a formalisation project in rzk proof assistant.

  category-theoryhomotopy-type-theoryformalisation

  Markdown

  •0•0•0•1•Updated Dec 12, 2023Dec 12, 2023

• rzk-lang.github.io

  Public
  Website for the Rzk proof assistant.

  HTML

  •0•0•0•0•Updated Dec 12, 2023Dec 12, 2023

• rzk-action

  Public
  GitHub Action to check formalisations using rzk proof assistant.

  github-actions

  0•3•1•0•Updated Dec 10, 2023Dec 10, 2023

• .github

  Public
  0•0•0•0•Updated Dec 8, 2023Dec 8, 2023

• mkdocs-plugin-rzk

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

  mkdocs-plugin

  Python

  •0•1•2•0•Updated Nov 2, 2023Nov 2, 2023

• pygments-rzk

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

  pygmentspygments-lexer

  Python

  •

  BSD 3-Clause "New" or "Revised" License

  •0•0•0•0•Updated Sep 7, 2023Sep 7, 2023