UCSC Formal Methods

ucscformalmethods

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.

Extensions1Distinct extension identifiers across registries

Marketplace installs1.4KTotal from all extensions

Open VSX downloads—No active listings observed

Extensions

VS Marketplace Sync: Nov 5, 2026, 22:14 UTC

Extensions under ucscformalmethods. Marketplace installs and Open VSX downloads are separate measures. Category ranks show observed positions or a confirmed position beyond the first 1,000 results.
Extension	VS Marketplace	Open VSX
Scenicucscformalmethods.scenic	Installs 1,410+0.6% · 7d Rating — Category rank >1,000 · Programming Languages Latest v1.1.0 · Jun 29, 2023	Not listed