rzk-project-template

Template for a formalisation project in rzk proof assistant.

How to check

From the root of the project's repository, run:

rzk typecheck src/**/*.rzk.md