/rzk

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

Primary LanguageHaskell

Stargazers