Menu
Publisher

Correctness Lab - OST Eastern Switzerland University of Applied Sciences

correctnesslab

Active listings observed under this identifier in the VSX Atlas catalog. Matching identifiers across registries do not establish common ownership. Verification is shown per listing.

Extensions2Distinct extension identifiers across registries
Marketplace installs23.7KTotal from all extensions
Open VSX downloads—No active listings observed

Extensions

VS Marketplace Sync:
Extensions under correctnesslab. Marketplace installs and Open VSX downloads are separate measures. Category ranks show observed positions or a confirmed position beyond the first 1,000 results.
ExtensionVS MarketplaceOpen VSX
Dafny (Deprecated)correctnesslab.dafny-vscode
Installs
21,592+0.0% · 7d
Rating
★ 3.8
Category rank
>1,000 · Programming Languages
Latest
v2.0.3 ·
Not listed
Dafny 2 (Legacy)correctnesslab.dafny-vscode-legacy
Installs
2,1440.0% · 7d
Rating
—
Category rank
>1,000 · Programming Languages
Latest
v0.19.0 ·
Not listed