An experimental proof assistant based on a type theory for synthetic ∞-categories.
Why do you think that https://github.com/con-kitty/categorifier 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/con-kitty/categorifier is a good alternative to rzk