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