search

imandra-ai / imandra-vscode

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

remove synced hover languages from IDE #9

Closed ewenmaclean closed 5 years ago