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

          

![Aesthetic Integration](https://storage.googleapis.com/imandra-assets/images/github/vs_code_plug_head.svg)

---

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://storage.googleapis.com/imandra-assets/images/github/vsmp.png)](https://marketplace.visualstudio.com/items?itemName=aestheticintegration.ipl-vscode)

Please refer to the documentation for IPL:

[![](https://storage.googleapis.com/imandra-assets/images/github/ipldoc.png)](https://docs.imandra.ai/ipl/)

Examples can be found in the examples repository [here](https://github.com/AestheticIntegration/ipl-examples)