rzk-0.4.0: An experimental proof assistant for synthetic ∞-categories

Index - Q

quickIndexLanguage.Rzk.Syntax.Lex