Rzk: A Proof Assistant for Synthetic ∞-Categories

8 pointsposted 12 hours ago
by Jimmc414
(arxiv.org)

No comments yet