rzk-0.5.2: README.md

# rzk

An experimental proof assistant for synthetic ∞-categories.

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