package

rzk

Description

An experimental proof assistant for synthetic ∞-categories.

Description

hackage.haskell.org

Please see the README on GitHub at https://github.com/rzk-lang/rzk#readme

README.md

hackage.haskell.org

rzk

An experimental proof assistant for synthetic ∞-categories.

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

Metadata

Version

0.7.4

License

Status

Source

pkgs/development/haskell-modules/hackage-packages.nix:267256

Homepage

https://hackage.haskell.org/package/rzk

Platforms (75)

Darwin

FreeBSD

Genode

GHCJS

Linux

MMIXware

NetBSD

none

OpenBSD

Redox

Solaris

WASI

Windows

Show all