rzk-lang/rzk

An experimental proof assistant based on a type theory for synthetic ∞-categories.