@hackage rzk0.3.0

An experimental proof assistant for synthetic ∞-categories

Categories
License
BSD-3-Clause
Maintainer
nickolay.kudasov@gmail.com
Links
Versions
- 0.7.5 Sun, 18 Aug 2024
- 0.7.4 Tue, 2 Apr 2024
- 0.7.3 Fri, 22 Dec 2023
- 0.7.2 Fri, 22 Dec 2023
- 0.7.1 Sat, 9 Dec 2023
- 0.7.0 Sat, 9 Dec 2023

Installation
In your cabal file:
Dependencies (5)
- array
- base >=4.7 && <5
- mtl
- template-haskell
- bifunctors
- rzk
Dependents (1)
@hackage/proof-assistant-bot

rzk

An experimental proof assistant for synthetic ∞-categories.

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