Formal Methods armchair_progamer • 1y ago • 100%

rzk: an experimental proof assistant for synthetic ∞-categories