Visual Studio Code Extension for PVS(LAR-19642-1)
design and integration tools
Visual Studio Code Extension for PVS
(LAR-19642-1)
Overview
Visual Studio Code Extension for PVS (vscode-pvs) is a plugin extension for Visual Studio Code that provides an Integrated Development Environment (IDE) for the Prototype Verification System (PVS).
Software Details
Category
Design and Integration Tools
Reference Number
LAR-19642-1
Release Type
Open Source
Operating System
Windows, Linux, OS X