{"type": "article", "title": "Rzk: A Proof Assistant for Synthetic ∞-Categories", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/rzk-a-proof-assistant-for-synthetic-categories", "original_source": "https://arxiv.org/abs/2607.12207", "published": "2026-07-15T21:49:07+00:00", "accessed": "2026-07-15", "id": "rzk-a-proof-assistant-for-synthetic-categories"}