Open-Source part of the SuperBOL Studio, including the Vscode mode with LSP
Why do you think that https://github.com/ejgallego/coq-lsp is a good alternative to superbol-studio-oss
Open-Source part of the SuperBOL Studio, including the Vscode mode with LSP
Why do you think that https://github.com/ejgallego/coq-lsp is a good alternative to superbol-studio-oss