Welcome to Imandra Protocol Language VS Code Plugin Repo
This repo contains the vsix file required to run a language server for Imandra Protocol Language (IPL) in VSCode. It is possible to find it on the Visual Studio MarketPlace:
Please refer to the documentation for IPL:
Examples can be found in the examples repository here