Tag: Imandra Protocol Language
Found 1 extensions tagged with "Imandra Protocol Language".
Imandra Protocol Language related extensions
-
Imandra Protocol Language 2.9.57 VSIX File for VS Code
Imandra Protocol Language (plugin for VSCode): language with mechanised formal semantics for FIX specifications ...