armchair_progamer@programming.dev to Formal Methods@programming.dev • 1 year agorzk: an experimental proof assistant for synthetic ∞-categoriesexternal-linkmessage-square0 fedilinkarrow-up11
arrow-up11external-linkrzk: an experimental proof assistant for synthetic ∞-categoriesarmchair_progamer@programming.dev to Formal Methods@programming.dev • 1 year agomessage-square0 Commentsfedilink