Searching protocol for "Segal"
Validate Segal-type coherence.
Univalence in Rezk types for isomorphisms.
Directed Yoneda for proofs in type theory.
ā-Operads with lazy ACSet materialization.
Directed transport for dependent types.
Craft Apple-quality SwiftUI UI