@armchair_progamer to Formal Methods • 9 months agorzk: an experimental proof assistant for synthetic ∞-categoriesrzk-lang.github.iomessage-square0arrow-up19arrow-down10
arrow-up19arrow-down1external-linkrzk: an experimental proof assistant for synthetic ∞-categoriesrzk-lang.github.io@armchair_progamer to Formal Methods • 9 months agomessage-square0