search

imandra-ai / imandra-vscode

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

add command for displaying dependency as graphviz #12

Open c-cube opened 5 years ago

c-cube commented 5 years ago

use a webview?