search

imandra-ai / imandra-vscode

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

Ewen/integrate language server #8

Closed ewenmaclean closed 6 years ago

ewenmaclean commented 6 years ago

now integrating our own version of imandra-language-server