21:49
2026-07-15
arxiv.org
artificial-intelligence
Rzk: A Proof Assistant for Synthetic ∞-Categories
Researchers have released Rzk, a proof assistant implementing a computational variant of Riehl and Shulman's simplicial type theory for synthetic reasoning about ∞-categories. The tool translates proo…