Rzk: A Proof Assistant for Synthetic ∞-CategoriesBy Jimmc414 · 2026-07-15 · 5 points · 0 commentshttps://arxiv.org/abs/2607.12207By Jimmc414 · 5 points · 0 comments · on Hacker News, read on BetterNews.Open the full discussion on BetterNews