Visual Studio Code Extension
Last updated
Was this helpful?
Last updated
Was this helpful?
Varphi also has an official Visual Studio extension 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
Visual Studio Code (version 1.94 or newer)
Complete documentation on this extension is available .