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

Index - :

:+:Free.Scoped