Sign inSign up

rzk-lang/vscode-rzk

Visual Studio Code Extension(s) for Rzk proof assistant.

TypeScriptStars 8Forks 1Watchers 8Open issues 12License Other
Details
仓库信息
Ownerrzk-lang
Homepagehttps://marketplace.visualstudio.com/items?itemName=NikolaiKudasovfizruk.rzk-1-experimental-highlighting
GitHubhttps://github.com/rzk-lang/vscode-rzk
Last pushed2024-06-19
Last updated2025-12-14
Issues fetched at—

Stats

Community at a glance

Loading...

Loading

--

Loading

--

Loading

--

Loading

--