vix.ing
·
top
·
new
·
best
·
stats
·
spec
Violetta Sim
Rzk: a Proof Assistant for Synthetic ∞-Categories
2026/07/13 by
Nikolai Kudasov
,
Violetta Sim
,
Benedikt Ahrens
· 1 voice
#cs.LO
#cs.PL
#math.CT