GitHub repository: rzk-lang/rzk-project-template
Primary language: Markdown
Description: Template for a formalisation project in rzk proof assistant.