overturetool/vdm-vscode

Visual Studio Code extension for VDM language support

TeXStars 20Forks 8Watchers 20Open issues 38License GNU General Public License v3.0

Details

仓库信息

Owneroverturetool

Homepage—

Last pushed2025-12-15

Last updated2025-12-15

Issues fetched at—

Community at a glance