# rzk

An experimental proof assistant for synthetic ∞-categories.

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