search

rzk-lang / vscode-rzk

Visual Studio Code Extension(s) for Rzk proof assistant.
https://marketplace.visualstudio.com/items?itemName=NikolaiKudasovfizruk.rzk-1-experimental-highlighting
Other
8 stars 1 forks source link

Contribute a walkthrough #65

Open aabounegm opened 11 months ago

aabounegm commented 11 months ago

Add a walkthrough to introduce the extension features to new users