@hackage / rzk

An experimental proof assistant for synthetic ∞-categories

0.8.0

About

Metadata

  • Last updated , by NickolayKudasov
  • License BSD-3-Clause
  • Maintained by: nickolay.kudasov@gmail.com

  • Lottery factor: 1

Links

Installation

This package uses the Custom cabal build type

Package Flags

Use the -f option with cabal commands to enable flags

    lsp (on by default)

    Build with LSP support (only available with GHC, not GHCJS).

Readme

rzk

An experimental proof assistant for synthetic ∞-categories.

See README at https://github.com/rzk-lang/rzk#readme.