search

imandra-ai / imandra-vscode

VSCode extension for developing imandra
Other
2 stars 0 forks source link

imandra plugin #14

Closed c-cube closed 5 years ago

c-cube commented 5 years ago

first draft, will be improved later of course