search

imandra-ai / imandra-vscode

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

updating to use imandra-merlin as a standard method #17

Closed ewenmaclean closed 5 years ago