Visual Studio Code Extension(s) for Rzk proof assistant.
Home Page:https://marketplace.visualstudio.com/items?itemName=NikolaiKudasovfizruk.rzk-1-experimental-highlighting
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool