@hackage / rzk

An experimental proof assistant for synthetic ∞-categories