Template for a formalisation project in rzk proof assistant.
Primary LanguageMarkdown
No issues in this repository yet.