An experimental proof assistant based on a type theory for synthetic ∞-categories.
Primary LanguageHaskell