rzk-0.2.0: README.md

# rzk

An experimental proof assistant for synthetic ∞-categories.

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