Imandra Protocol Language VS Code Plugin
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Type Name Latest commit message Commit time
Failed to load latest commit information.

Aesthetic Integration

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