rzk-lang/rzk
An experimental proof assistant based on a type theory for synthetic ∞-categories.
304 stars33forks32issuespushed
Worth your time
rules reportOutside contributors get real replies here, and their work gets merged.
2 of 2outside PRs merged (100%)
checked