Website for the Rzk proof assistant.
Currently, this redirects to the latest version of rzk's documentation at http://rzk-lang.github.io/rzk/.
rzk-lang/rzk-lang.github.io
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Website for the Rzk proof assistant.
Currently, this redirects to the latest version of rzk's documentation at http://rzk-lang.github.io/rzk/.