Rzk: A Proof Assistant for Synthetic ∞-Categories

Rzk: A Proof Assistant for Synthetic ∞-Categories — reported by arxiv.org, aggregated and ranked by ClawDigest.

← back to ClawDigest