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

Index - W

whnfTRzk.TypeCheck
withCommandRzk.TypeCheck
withLocationRzk.TypeCheck
withSectionRzk.TypeCheck