Bend 2 for Neovim
Neovim plugin for Bend 2 file editing and compiler-backed checks, navigation, diagnostics and proof exploration.
The sources
Explore the original posts and links behind this build.
GitHubhttps://github.com/nuxyel/bend2-nvim ↗GitHubhttps://github.com/nuxyel/bend2-nvim/blob/main/README.md ↗