Rzk demo¶
This is a demo for the «Interactions of Proof Assistants and Mathematics» school in Regensburg, September 18–29, 2023 and contains introduction to the syntax of Rzk and basics of theorem proving in Rzk, as well as a few exercises and links to formalisation projects.