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

Index - Z

ZFree.Scoped