Visual Studio Code Extension
Was this helpful?
Was this helpful?
Varphi also has an official available on the Visual Studio Marketplace. You can use this extension to run and step through Varphi programs from within the Visual Studio Code IDE in a more graphical format. The only prerequisites are
(version 1.94 or newer)
Complete documentation on this extension is available .