The latest version of rzk is 0.7.5-0.
rzk
Version 0.5.2 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