From the 1 of 1 linked paper with an AI index.
1 paper
Nikolai Kudasov, Violetta Sim, Benedikt Ahrens
The paper introduces Rzk, a proof assistant that implements a computational variant of Riehl‑Shulman’s simplicial type theory for synthetic reasoning about ∞‑categories, and shows…