# rzk

An experimental proof assistant for synthetic ∞-categories.

See README at https://github.com/rzk-lang/rzk#readme.