Bend 2 for VS Code (nuxyel)
Preview VS Code extension for Bend 2 with highlighting, formatting, compiler checks and a proof explorer.
The sources
Explore the original posts and links behind this build.
GitHubhttps://github.com/nuxyel/bend2-vscode ↗Preview VS Code extension for Bend 2 with highlighting, formatting, compiler checks and a proof explorer.
Explore the original posts and links behind this build.
GitHubhttps://github.com/nuxyel/bend2-vscode ↗