Skip to content

Latest commit

 

History

History
33 lines (28 loc) · 3.3 KB

README.md

File metadata and controls

33 lines (28 loc) · 3.3 KB

Imandra Inc.


Welcome to Imandra Protocol Language examples repo.

For further documentation, please see: https://docs.imandra.ai.

Download the IPL VS Code Plug-in for these models at the Visual Studio Marketplace.