GitHub - rzk-lang/rzk: An experimental proof assistant based on a type theory for synthetic ∞-categories.
An experimental proof assistant based on a type theory for synthetic ∞-categories. - GitHub - rzk-lang/rzk: An experimental proof assistant based on a type theory for synthetic ∞-categories.
Nikolai Kudasov Emily Riehl Michael Shulman Install Nix Install Cachix Github Pages Higher Structures
Source: github.com