The latest version of rzk is 0.7.5-0.

rzk

Version 0.7.1 revision 0 uploaded by NickolayKudasov.

Package meta

Synopsis
An experimental proof assistant for synthetic ∞-categories
Description

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

Author
Nikolai Kudasov
Bug reports
https://github.com/rzk-lang/rzk/issues
Category
Dependent Types
Copyright
2023 Nikolai Kudasov
Homepage
https://github.com/rzk-lang/rzk#readme
Maintainer
nickolay.kudasov@gmail.com
Package URL
n/a
Stability
n/a

Components