armchair_progamer@programming.dev to Formal Methods@programming.dev · 1 year agorzk: an experimental proof assistant for synthetic ∞-categoriesrzk-lang.github.ioexternal-linkmessage-square0fedilinkarrow-up11
arrow-up11external-linkrzk: an experimental proof assistant for synthetic ∞-categoriesrzk-lang.github.ioarmchair_progamer@programming.dev to Formal Methods@programming.dev · 1 year agomessage-square0fedilink
