@hackage rzk0.11.1

An experimental proof assistant for synthetic ∞-categories

Categories
License
BSD-3-Clause
Maintainer
nickolay.kudasov@gmail.com
Links
Versions
- 0.11.1 Sat, 25 Jul 2026
- 0.7.7 Wed, 5 Nov 2025
- 0.7.6 Thu, 14 Aug 2025
- 0.7.5 Sun, 18 Aug 2024
- 0.7.4 Tue, 2 Apr 2024
- 0.7.3 Fri, 22 Dec 2023

Installation
In your cabal file:
Dependencies (24)
- Glob >=0.9.3 && <1
- aeson >=2.0.0.0 && <3
- array >=0.5.3.0 && <1
- async >=2.2 && <3
- base >=4.7 && <5
- bifunctors >=5.5.3 && <6
Dependents (1)
@hackage/proof-assistant-bot

Package Flags

lsp

(on by default)

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

rzk

An experimental proof assistant for synthetic ∞-categories.

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