Rzk: A Proof Assistant for Synthetic ∞-Categories

 (arxiv.org)

7 points | by Jimmc414 6 hours ago

0 comments