Computer Science > Logic in Computer Science

arxiv.org · 2026-07-15 · by Long Nguyen ·generic
Abstract page for arXiv paper 2607.12207: Rzk: a Proof Assistant for Synthetic $\infty$-Categories

Computer Science > Logic in Computer Science

arxiv.org · 7 images · 61 links

Comments (0)

No comments yet