List of contributors

The following people have contributed to Rzk proof assistant:

1. Nikolai Kudasov
2. Abdelrahman Abounegm — contributed to the Rzk Language Server
3. Danila Danko — helped set up Nix and Rzk playground

You may see actual contributed commits in the Contributors page on GitHub.