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
4. Ekaterina Maximova — contributed tuple patterns, LSP tokenization, and syntactic sugar for nested sigma types
5. Islam Talipov — contributed the experimental modal extension (Triangulated Type Theory) and let-bindings

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