Welcome to the Imandra IDE VS Code Plugin Repo This repo contains the vsix file required to run a language server for Imandra in VSCode. It is possible to find it on the Visual Studio MarketPlace: Please refer to the documentation for Imandra:
