▲ 9 pointsRzk: A Proof Assistant for Synthetic ∞-Categoriesarxiv.orgby Jimmc414·1mo ago·0 comments·view on hn ↗