The following people have contributed to Rzk proof assistant:
- Nikolai Kudasov
- Abdelrahman Abounegm — contributed to the Rzk Language Server
- Danila Danko — helped set up Nix and Rzk playground
You may see actual contributed commits in the Contributors page on GitHub.