GitHub repository: rzk-lang/rzk
Primary language: Haskell
Description: An experimental proof assistant based on a type theory for synthetic ∞-categories.