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

Index - G

generateTopesRzk.TypeCheck
generateTopesForPointsRzk.TypeCheck
getTypeLanguage.Rzk.Free.Syntax