Skip to content
Nick Battle edited this page Sep 26, 2022 · 7 revisions
Clone this wiki locally

VDM VSCode is an extension for Visual Studio Code, which provides a complete environment for the development and testing of VDM specifications.

This wiki provides an overview of the extension's features and a guide to how to perform the most common development tasks. We recommend that new users start with the Getting Started page, which describes how to install the extension and work with VDM projects.

The project has been made possible by many contributors from the VDM community, most notably:

Thank you so much!