search

imandra-ai / imandra-vscode

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

completion for attribute names #15

Closed c-cube closed 3 years ago

c-cube commented 3 years ago

actually it's done.