Sam recently came across a vscode extension feature called walkthroughs that lets you do a mini-tutorial for your vscode plugin, see https://aestheticintegration.slack.com/archives/C07P6EM0600/p1742579052264599
It would be great to have something similar for the imandrax vscode extension. See https://github.com/imandra-ai/code-logician-vscode/pull/22 for an example implementation for the SpecLogician extension.
Sam recently came across a vscode extension feature called
walkthroughs that lets you do a mini-tutorial for your vscode plugin, see https://aestheticintegration.slack.com/archives/C07P6EM0600/p1742579052264599It would be great to have something similar for the imandrax vscode extension. See https://github.com/imandra-ai/code-logician-vscode/pull/22 for an example implementation for the SpecLogician extension.