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