Rzk: A Proof Assistant for Synthetic ∞-Categories

3 points | by Jimmc414 an hour ago

No comments yet