search

imandra-ai / imandra-vscode

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

feat: option to check buffers with imandra-vscode-server only on save #34

Closed c-cube closed 3 years ago

c-cube commented 3 years ago

close #33