search

imandra-ai / imandra-vscode

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

updating README #23

Closed ewenmaclean closed 5 years ago