An experimental proof assistant based on a type theory for synthetic ∞-categories.
Why do you think that https://github.com/gvolpe/split-morphism is a good alternative to rzk
An experimental proof assistant based on a type theory for synthetic ∞-categories.
Why do you think that https://github.com/gvolpe/split-morphism is a good alternative to rzk