https://github.com/imandra-ai/ipl-vscode
Imandra Protocol Language VS Code Plugin
https://github.com/imandra-ai/ipl-vscode
formal-methods formal-verification imandra language-server-protocol
Last synced: 5 months ago
JSON representation
Imandra Protocol Language VS Code Plugin
- Host: GitHub
- URL: https://github.com/imandra-ai/ipl-vscode
- Owner: imandra-ai
- Created: 2017-07-13T05:36:53.000Z (almost 9 years ago)
- Default Branch: master
- Last Pushed: 2024-10-23T22:04:26.000Z (over 1 year ago)
- Last Synced: 2024-10-24T10:52:04.420Z (over 1 year ago)
- Topics: formal-methods, formal-verification, imandra, language-server-protocol
- Homepage: https://www.imandra.ai
- Size: 922 MB
- Stars: 8
- Watchers: 16
- Forks: 1
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README

---
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:
[](https://marketplace.visualstudio.com/items?itemName=aestheticintegration.ipl-vscode)
Please refer to the documentation for IPL:
[](https://docs.imandra.ai/ipl/)
Examples can be found in the examples repository [here](https://github.com/AestheticIntegration/ipl-examples)