armchair_progamer@programming.dev to Formal Methods@programming.dev · 3 years agorzk: an experimental proof assistant for synthetic ∞-categoriesrzk-lang.github.ioexternal-linkmessage-square0linkfedilinkarrow-up17arrow-down10
arrow-up17arrow-down1external-linkrzk: an experimental proof assistant for synthetic ∞-categoriesrzk-lang.github.ioarmchair_progamer@programming.dev to Formal Methods@programming.dev · 3 years agomessage-square0linkfedilink
